Robert Forbes McNaughton, Jr. (1924–2014) was an American mathematician, logician, and computer scientist with several key contributions in formal languages, grammars and rewriting systems, and word combinatorics.McNaughton was originally from Brooklyn, and earned a bachelor's degree from Columbia University. He completed his Ph.D. at Harvard University; his dissertation, On Establishing the Consistency of Systems, was supervised by Willard Van Orman Quine. He taught at the University of Penn... Read more
Buy Discography: Buy on Amazon
Play | Title | Movie | Type | Buy Song |
---|---|---|---|---|
Contradictory | The Borrower | Writer | Buy on Amazon |