Peter B. Andrews
id:
peter-b-andrews-243-12188760
title:
Peter B. Andrews
text:
Peter Bruce Andrews is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS of TPS is used to help students learn logic by interactively constructing natural deduction pro
brand slug:
wiki
category slug:
encyclopedia
description:
American mathematician (born 1937)
original url:
https://en.wikipedia.org/wiki/Peter_B._Andrews
date created:
date modified:
2024-04-21T13:20:55Z
main entity:
{"identifier":"Q7172598","url":"https://www.wikidata.org/entity/Q7172598"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/6/60/Peter_Andrews_IMG_0397.jpg","width":3027,"height":2348}
fields total:
13
integrity:
15