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]

References

  1. 1 2 3 4 Corcoran, John; Narendran, Paliath; Thomas, Wolfgang (October 2014), "Obituary Robert McNaughton 1924 โ€“ 2014", Bulletin of the European Association for Theoretical Computer Science, 114
  2. โ†‘ Robert McNaughton at the Mathematics Genealogy Project


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.