Robert McNaughton
Jump to navigation
Jump to search
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
- ^ a b c d Corcoran, John; Narendran, Paliath; Thomas, Wolfgang (October 2014), "Obituary Robert McNaughton 1924 – 2014", Bulletin of the European Association for Theoretical Computer Science, 114
- ^ Robert McNaughton at the Mathematics Genealogy Project
Categories:
- Articles with short description
- Short description is different from Wikidata
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with LNB identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 1924 births
- 2014 deaths
- 20th-century American mathematicians
- 21st-century American mathematicians
- American computer scientists
- American theoretical computer scientists
- Columbia University alumni
- Harvard University alumni
- University of Pennsylvania faculty
- Rensselaer Polytechnic Institute faculty
- All stub articles
- Mathematician stubs