Peter B. Andrews - Peter B. Andrews

Pro ostatní lidi jménem Peter Andrews viz Peter Andrews (disambiguation).
Peter Andrews v roce 2012

Peter Bruce Andrews (narozen 1937) je americký matematik a emeritní profesor matematiky v Univerzita Carnegie Mellon v Pittsburgh, Pensylvánie,[1] a tvůrce matematická logika Q0. Získal titul Ph.D. z Univerzita Princeton v roce 1964 pod vedením Alonzo Church.[2] Obdržel Herbrand Award v roce 2003.[3] Jeho výzkumná skupina navrhla TPS automatizovaný testovací teorém. Subsystém ETPS (Educational Theorem Proving System) TPS se používá k tomu, aby pomohl studentům naučit se logiku interaktivním vytvářením důkazů o přirozené dedukci.

Publikace

  • Andrews, Peter B. (1965). Teorie transfinitního typu s proměnnými typu. North Holland Publishing Company, Amsterdam.
  • Andrews, Peter B. (1971). "Rozlišení v teorii typů". Journal of Symbolic Logic 36, 414–432.
  • Andrews, Peter B. (1981). "Věta dokazující prostřednictvím obecného párování". J. Doc. Comput. Březen. 28, Ne. 2, 193–214.
  • Andrews, Peter B. (1986). Úvod do matematické logiky a teorie typů: k pravdě skrz důkaz. Informatika a aplikovaná matematika. ISBN  978-0-1205-8535-9. Academic Press, Inc., Orlando, FL.
  • Andrews, Peter B. (1989). "Na připojeních a logice vyššího řádu". J. Automat. Důvod. 5, Ne. 3, 257–291.
  • Andrews, Peter B .; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Franku; Xi, Hongwei (1996). „TPS: systém dokazující teorémy pro klasickou teorii typů“. J. Automat. Důvod. 16, Ne. 3, 321–353.
  • Andrews, Peter B. (2002). Úvod do matematické logiky a teorie typů: k pravdě skrz důkaz. Druhé vydání. Aplikovaná logická řada, 27.. ISBN  978-1-4020-0763-7. Kluwer Academic Publishers, Dordrecht.

Reference

  1. ^ „Peter B. Andrews“. gtps.math.cmu.edu. Citováno 2018-03-10.
  2. ^ „Alonzo Church - The Mathematics Genealogy Project“. www.genealogy.math.ndsu.nodak.edu. Citováno 2018-03-10.
  3. ^ Andrews, Peter B. (10.01.2003). „Herbrand Award Acceptance Speech“. Journal of Automated Reasoning. 31 (2): 169–187. CiteSeerX  10.1.1.69.5121. doi:10.1023 / b: jars.0000009552.54063.f3. ISSN  0168-7433.

externí odkazy