Peter B. Andrews (mathematician)
(1937-)
American mathematician
About
Jump to
Peter Bruce Andrews (born 1937) 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 (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.
Key details
edit section
| Born |
1937 (age 88)
|
| Zodiac | |
| Tags | Add tag |
Partner
Family members
Romantic interests
Friends & associates
Missing information for Peter B. Andrews (mathematician)
- missing gender
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add banner photo
- add photos to gallery
- missing current partner
Similar profiles
14
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
