Robert Forbes McNaughton, Jr. (1924-2014) è stato un matematico, logico e informatico americano con diversi contributi chiave in linguaggi formali, grammatiche e sistemi di riscrittura e combinatoria delle parole. McNaughton era originario di Brooklyn e ha conseguito una laurea presso Università della Columbia. Ha completato il suo dottorato di ricerca. all'Università di Harvard; la sua tesi, On Establishing the Consistency of Systems, è stata supervisionata da Willard Van Orman Quine. Ha insegnato all'Università di Penn ...
Acquista Discografia: Acquista su Amazon
Suonare | Titolo | Film | Il tipo | Acquista canzone |
---|---|---|---|---|
Contradictory | Il cacciatore di teste | Scrittore | Acquista su Amazon |