Peter B. Andrews (mathematician)
(1937-)
American mathematician
menu
Add to my lists
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
Parents
0
Add parent
Siblings
0
Add sibling
Other family members
0
Add family member
Connections
Friends & associates
Add friend/associate
Peter B. Andrews (mathematician) dating history
0Children
0No records found.
Family
Parents
0
Add parent
Siblings
0
Add sibling
Children
0
Add child
Other family members
0
Add family member
Friends & associates
Add friend/associate
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
Lists
15
Facts and figures
3
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
