Peter B. Andrews

For other people named Peter Andrews, see Peter Andrews (disambiguation).
Peter Andrews in 2012

Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania,[1] and the creator of the mathematical logic Q0. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church.[2] He received the Herbrand Award in 2003.[3] His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.

  1. ^ "Peter B. Andrews". gtps.math.cmu.edu. Retrieved 2018-03-10.
  2. ^ "Alonzo Church - The Mathematics Genealogy Project". www.genealogy.math.ndsu.nodak.edu. Retrieved 2018-03-10.
  3. ^ Andrews, Peter B. (2003-10-01). "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. S2CID 9542444.