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. McNaughton era originario de Brooklyn y obtuvo una licenciatura en Universidad de Colombia. 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. Enseñó en la Universidad de Penn ...
Comprar discografía: Comprar en Amazon
Reproducir | Título | Película | Tipo | Comprar canción |
---|---|---|---|---|
Contradictory | Mutación asesina | Escritor | Comprar en Amazon |