Peter Andrews
| Peter Andrews | |
|---|---|
 | |
| 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 |
Peter Bruce Andrews (1937) é um matemático estadunidense.
É 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 | editar código-fonte]- 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 | editar código-fonte]- Peter Andrews (em inglês) no Mathematics Genealogy Project
- «Página pessoal» (em inglês)
