Peter Andrews

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Peter Andrews
Peter Andrews em 2012
Nascimento 1937 (80 anos)
Nacionalidade Estados Unidos Estadunidense
Alma mater Universidade de Princeton
Prêmios Prêmio Herbrand (2003)
Orientador(es) Alonzo Church
Orientado(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]

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.