Peter Andrews (mathematician)

Peter Andrews may also refer to a pseudonym of Steven Soderbergh.

Peter B. Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. 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 (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.

[edit] External links

This article about a mathematician from the United States is a stub. You can help Wikipedia by expanding it.

This page was last modified 13:41, 14 April 2008 by Anonymous user(s) of Wikipedia. Based on work by Wikipedia user(s) Giftlite, Gene Nygaard, Masterpiece2000, FordPrefect42, Oleg Alexandrov, Alaibot, JSmith60, Stephan Schulz, Amalas, Brucect, Charles Matthews, RussBot and Archibald Primrose, 5th Earl of Rosebery.
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
About Wikipedia
Disclaimers