Peter Andrews
matemático norte-americano
Peter Bruce Andrews (1937) é um matemático estadunidense.
Peter Andrews | |
---|---|
Peter Andrews em 2012 | |
Nascimento | 1937 (87 anos) |
Nacionalidade | Estadunidense |
Alma mater | Universidade de Princeton |
Prêmios | Prêmio Herbrand (2003) |
Orientador(es)(as) | Alonzo Church |
Orientado(a)(s) | Frank Pfenning |
Instituições | Universidade Carnegie Mellon |
Campo(s) | Matemática |
Tese | 1964: A Transfinite Type Theory with Type Variables |
É professor de matemática da Universidade Carnegie Mellon em Pittsburgh. Obteve o doutorado na Universidade de Princeton em 1964, orientado por Alonzo Church. Foi laureado com o Prêmio Herbrand de 2003.
Seu grupo de pesquisas projetou o Theorem Proving System (TPS), um sistema para prova automática de teoremas.
Publicações selecionadas
editar- Andrews, Peter B. (1981) Theorem proving via general matings. J. Assoc. Comput. Mach. 28, no. 2, 193—214.
- Andrews, Peter B. (1986) An introduction to mathematical logic and type theory: to truth through proof. Computer Science and Applied Mathematics. Academic Press, Inc., Orlando, FL.
- Andrews, Peter B. (1971) Resolution in type theory. J. Symbolic Logic 36, 414—432.
- Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei (1996) TPS: a theorem-proving system for classical type theory. J. Automat. Reason. 16, no. 3, 321—353.
- Andrews, Peter B. (1989) On connections and higher-order logic. J. Automat. Reason. 5, no. 3, 257—291.
- Andrews, Peter B. (2002) An introduction to mathematical logic and type theory: to truth through proof. Second edition. Applied Logic Series, 27. Kluwer Academic Publishers, Dordrecht.
Ligações externas
editar- Peter Andrews (em inglês) no Mathematics Genealogy Project
- «Página pessoal» (em inglês)