Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Responsive image


Robert McNaughton

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.[1]

McNaughton was originally from Brooklyn, and earned a bachelor's degree from Columbia University.[1] He completed his Ph.D. at Harvard University; his dissertation, On Establishing the Consistency of Systems, was supervised by Willard Van Orman Quine.[2] He taught at the University of Pennsylvania and then at the Rensselaer Polytechnic Institute.[1]

He died in 2014 in Troy, New York.[1]

  1. ^ a b c d Cite error: The named reference obit was invoked but never defined (see the help page).
  2. ^ Cite error: The named reference mgp was invoked but never defined (see the help page).

Previous Page Next Page






Robert McNaughton German Robert McNaughton French Robert McNaughton Portuguese

Responsive image

Responsive image