Peter Bruce Andrews (nacido en 1937) es un matemático estadounidense y profesor de matemáticas, emérito de la Universidad Carnegie Mellon en Pittsburgh, Pensilvania , [1] y el creador de la lógica matemática Q 0 . Recibió su Ph.D. de la Universidad de Princeton en 1964 bajo la tutela de Alonzo Church . [2] Recibió el premio Herbrand en 2003. [3] Su grupo de investigación diseñó el probador automático de teoremas TPS . Se utiliza un subsistema ETPS (Sistema de prueba de teoremas educativos) de TPS para ayudar a los estudiantes a aprender lógica mediante la construcción interactiva de pruebas de deducción natural.
Publicaciones
- Andrews, Peter B. (1965). Una teoría de tipos transfinita con variables de tipo . Compañía Editorial de Holanda Septentrional, Amsterdam.
- Andrews, Peter B. (1971). "Resolución en teoría de tipos". Journal of Symbolic Logic 36 , 414–432.
- Andrews, Peter B. (1981). "Prueba de teorema a través de apareamientos generales". J. Assoc. Computación. Marcha. 28 , no. 2, 193-214.
- Andrews, Peter B. (1986). Una introducción a la lógica matemática y la teoría de tipos: a la verdad a través de la demostración . Informática y Matemática Aplicada. ISBN 978-0-1205-8535-9 . Academic Press, Inc., Orlando, FL.
- Andrews, Peter B. (1989). "Sobre conexiones y lógica de orden superior". J. Automat. Razón. 5 , no. 3, 257-291.
- Andrews, Peter B .; Obispo, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank ; Xi, Hongwei (1996). "TPS: un sistema de prueba de teoremas para la teoría de tipos clásica". J. Automat. Razón. 16 , no. 3, 321–353.
- Andrews, Peter B. (2002). Una introducción a la lógica matemática y la teoría de tipos: a la verdad a través de la demostración . Segunda edicion. Serie de lógica aplicada, 27. ISBN 978-1-4020-0763-7 . Editores académicos Kluwer, Dordrecht.
Referencias
- ^ "Peter B. Andrews" . gtps.math.cmu.edu . Consultado el 10 de marzo de 2018 .
- ^ "Iglesia de Alonzo - El proyecto de genealogía de las matemáticas" . www.genealogy.math.ndsu.nodak.edu . Consultado el 10 de marzo de 2018 .
- ^ Andrews, Peter B. (1 de octubre de 2003). "Discurso de aceptación del premio Herbrand". Revista de razonamiento automatizado . 31 (2): 169-187. CiteSeerX 10.1.1.69.5121 . doi : 10.1023 / b: frascos.0000009552.54063.f3 . ISSN 0168-7433 . S2CID 9542444 .