Peter Andrews (mathematician)
- 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.
External links
*MathGenealogy |id=8034
* [http://gtps.math.cmu.edu/andrews.html Peter B. Andrews]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Peter Andrews — may refer to: * Peter Andrews (mathematician), American mathematician * Peter Andrews (agricultural pioneer), Australian environmentalist * Peter Andrews, a pseudonym used by American film director Steven Soderbergh … Wikipedia
Andrews (surname) — Andrews is a patronymic surname, and may refer to many people. Found in England, Ireland and less commonly Scotland.In England it has been concentrated in the past in Herefordshire and Shropshire. In Ireland it is found largely in Dublin.Although … Wikipedia
Peter Lax — Peter David Lax Peter Lax in Tokyo, 1969 Born 1 May 1926 ( … Wikipedia
Peter Borwein — Peter Benjamin Borwein (St. Andrews, Scotland, 1953) is a Canadian mathematician, co developer of an algorithm for calculating π to the n th digit, PiHex, co discoverer of the trillionth, four trillionth, 40th trillionth, and quadrillionth digits … Wikipedia
Paul Cohen (mathematician) — Not to be confused with Paul Cohn. Paul J. Cohen Born April 2, 1934(1934 04 02) Long Branch, New Jersey Died March 23, 2007 … Wikipedia
Johann Peter Gustav Lejeune Dirichlet — Gustav Lejeune Dirichlet Johann Peter Gustav Lejeune Dirichlet Born 13 Fe … Wikipedia
University of St Andrews — Infobox University name = University of St Andrews native name = latin name = Universitas Sancti Andreae apud Scotos (University of St Andrew amongst the Scots) image size = 126px motto = ΑΙΕΝ ΑΡΙΣΤΕΥΕΙΝ (AIEN ARISTEUEIN) ( el. Ever To Be The… … Wikipedia
Sergei Novikov (mathematician) — Sergei Petrovich Novikov Born 20 March 1938 (1938 03 20) (age 73) Gorky, Russian SFSR, USSR Fields Mathematics … Wikipedia
Tait, Peter Guthrie — ▪ Scottish mathematician and physicist born April 28, 1831, Dalkeith, Midlothian, Scotland died July 4, 1901, Edinburgh Scottish physicist and mathematician who helped develop quaternions, an advanced algebra that gave rise to vector… … Universalium
Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence … Wikipédia en Français
