Petera B. Andrewsa

W przypadku innych osób o imieniu Peter Andrews zobacz Peter Andrews (ujednoznacznienie) .

Petera Andrewsa w 2012 roku

Peter Bruce Andrews (ur. 1937) to amerykański matematyk i profesor matematyki, emerytowany na Uniwersytecie Carnegie Mellon w Pittsburghu w Pensylwanii , twórca logiki matematycznej Q. ₀ Uzyskał tytuł doktora. z Princeton University w 1964 pod kierunkiem Alonzo Church . W 2003 roku otrzymał nagrodę Herbranda. Jego grupa badawcza zaprojektowała automatyczny dowód twierdzeń TPS . Podsystem ETPS (Educational Theorem Proving System) TPS służy do pomocy uczniom w nauce logiki poprzez interaktywne konstruowanie naturalnych dowodów dedukcyjnych.

Publikacje

• Andrews, Peter B. (1965). Teoria typu pozaskończonego ze zmiennymi typu . North Holland Publishing Company, Amsterdam.
• Andrews, Peter B. (1971). „Rozdzielczość w teorii typów”. Dziennik logiki symbolicznej 36 , 414–432.
• Andrews, Peter B. (1981). „Twierdzenie dowodzące poprzez ogólne krycia”. dr hab. Oblicz. Marsz. 28 , nie. 2, 193–214.
•   Andrews, Peter B. (1986). Wprowadzenie do logiki matematycznej i teorii typów: do prawdy przez dowód . Informatyka i Matematyka Stosowana. ISBN 978-0-1205-8535-9 . Academic Press, Inc., Orlando, Floryda.
• Andrews, Peter B. (1989). „O połączeniach i logice wyższego rzędu”. J. Automat. Powód. 5 , nie. 3, 257–291.
• Andrews, Peter B.; Biskup Mateusz; Issar, Sunil; Nesmith, Dan; Pfenning, Frank ; Xi, Hongwei (1996). „TPS: system dowodzenia twierdzeń dla klasycznej teorii typów”. J. Automat. Powód. 16 , nie. 3, 321–353.
•   Andrews, Peter B. (2002). Wprowadzenie do logiki matematycznej i teorii typów: do prawdy przez dowód . Druga edycja. Seria logiki stosowanej, 27. ISBN 978-1-4020-0763-7 . Wydawnictwo Akademickie Kluwer, Dordrecht.

Linki zewnętrzne

• Petera B. Andrewsa