Peter Andrews

matemático norte-americano

Peter Bruce Andrews (1937) é um matemático estadunidense.

Peter Andrews
Peter Andrews
Peter Andrews em 2012
Nascimento 1937 (87 anos)
Nacionalidade Estados Unidos 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
  Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.