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]
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]