Robert Forbes McNaughton, Jr. (1924–2014) was an American

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...

, and

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

with several key contributions in

formal languages In logic, mathematics, computer science, and linguistics, a formal language is a set of string (computer science), strings whose symbols are taken from a set called "#Definition, alphabet". The alphabet of a formal language consists of symbol ...

, grammars and

rewriting system In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or reduc ...

s, and word combinatorics. McNaughton was originally from

Brooklyn Brooklyn is a Boroughs of New York City, borough of New York City located at the westernmost end of Long Island in the New York (state), State of New York. Formerly an independent city, the borough is coextensive with Kings County, one of twelv ...

, and earned a bachelor's degree from

Columbia University Columbia University in the City of New York, commonly referred to as Columbia University, is a Private university, private Ivy League research university in New York City. Established in 1754 as King's College on the grounds of Trinity Churc ...

. He completed his Ph.D. at

Harvard University Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyma ...

; his dissertation, ''On Establishing the Consistency of Systems'', was supervised by

Willard Van Orman Quine Willard Van Orman Quine ( ; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century" ...

. He taught at the

University of Pennsylvania The University of Pennsylvania (Penn or UPenn) is a Private university, private Ivy League research university in Philadelphia, Pennsylvania, United States. One of nine colonial colleges, it was chartered in 1755 through the efforts of f ...

and then at the

Rensselaer Polytechnic Institute Rensselaer Polytechnic Institute (; RPI) is a private university, private research university in Troy, New York, United States. It is the oldest technological university in the English-speaking world and the Western Hemisphere. It was establishe ...

. He died in 2014 in

Troy, New York Troy is a city in and the county seat of Rensselaer County, New York, United States. It is located on the western edge of the county, on the eastern bank of the Hudson River just northeast of the capital city of Albany, New York, Albany. At the ...

References

1924 births 2014 deaths 20th-century American mathematicians 21st-century American mathematicians American theoretical computer scientists Columbia University alumni Harvard University alumni University of Pennsylvania faculty Rensselaer Polytechnic Institute faculty {{mathematician-stub