Robert Forbes McNaughton, Jr. (1924-2014) fue un matemático , lógico e informático estadounidense con varias contribuciones clave en lenguajes formales , gramáticas y sistemas de reescritura , y combinatoria de palabras . [1]
McNaughton era originario de Brooklyn y obtuvo una licenciatura de la Universidad de Columbia . [1] Completó su Ph.D. en la Universidad de Harvard ; su disertación, Sobre el establecimiento de la consistencia de los sistemas , fue supervisada por Willard Van Orman Quine . [2] Enseñó en la Universidad de Pennsylvania y luego en el Instituto Politécnico Rensselaer . [1]
Murió en 2014 en Troy, Nueva York . [1]
Referencias
- ^ a b c d Corcoran, John; Narendran, Paliath; Thomas, Wolfgang (octubre de 2014), "Obituario de Robert McNaughton 1924 - 2014" , Boletín de la Asociación Europea de Ciencias de la Computación Teórica , 114
- ^ Robert McNaughton en el Proyecto de genealogía matemática