Peter Andrews

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Peter Andrews
Matemática
Peter Andrews em 2012
Nacionalidade Estados Unidos Estadunidense
Nascimento 1937 (77 anos)
Atividade
Campo(s) Matemática
Instituições Universidade Carnegie Mellon
Alma mater Universidade de Princeton
Tese 1964: A Transfinite Type Theory with Type Variables
Orientador(es) Alonzo Church
Orientado(s) Frank Pfenning
Prêmio(s) Prêmio Herbrand (2003)

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.