Peter B. Andrews

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 creador de la lógica matemática Q ₀ . Recibió su doctorado. 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 demostrador automatizado de teoremas TPS . Se utiliza un subsistema ETPS (Sistema de demostración de teoremas educativos) de TPS para ayudar a los estudiantes a aprender lógica mediante la construcción interactiva de demostraciones de deducción natural .

Publicaciones

Andrews, Peter B. (1965). Una teoría de tipos transfinitos con variables de tipo . Compañía Editorial de Holanda Septentrional, Ámsterdam.
Andrews, Peter B. (1971). "Resolución en teoría de tipos". Revista de lógica simbólica 36 , 414–432.
Andrews, Peter B. (1981). "Demostración de teoremas mediante apareamientos generales". J. Asociación. Computadora. Marzo. 28 , núm. 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 prueba . Informática y Matemática Aplicada. ISBN 978-0-1205-8535-9 . Prensa académica, Inc., Orlando, FL.
Andrews, Peter B. (1989). "Sobre conexiones y lógica de orden superior". J. Autómata. Razón. 5 , núm. 3, 257–291.
Andrews, Peter B.; Obispo, Mateo; Issar, Sunil; Nesmith, Dan; Pfenning, Frank ; Xi, Hongwei (1996). "TPS: un sistema de demostración de teoremas para la teoría de tipos clásica". J. Autómata. Razón. 16 , núm. 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 prueba . Segunda edicion. Serie de lógica aplicada, 27. ISBN 978-1-4020-0763-7 . Editorial académica Kluwer, Dordrecht.

^ "Peter B. Andrews". gtps.math.cmu.edu . Consultado el 10 de marzo de 2018 .
^ "Iglesia Alonzo - 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:jars.0000009552.54063.f3. ISSN 0168-7433. S2CID 9542444.