Peter B. Andrews (mathematician) American Mathematician
00
Peter B. Andrews (mathematician) dating history
Who
are they
dating right now?
According to our records, Peter B. Andrews (mathematician) is possibly single.
Relationships
We have no records of past relationships for Peter B. Andrews (mathematician).
About
Peter B. Andrews (mathematician) is a member of the following lists: 1937 births, Princeton University alumni and American mathematicians.
Contribute
Who is Peter B. Andrews (mathematician) dating? Peter B. Andrews (mathematician) partner, spouse list. Help us build our profile of Peter B. Andrews (mathematician)!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| First Name |
Peter
|
| Middle Name |
B.
|
| Last Name |
Andrews
|
| Birthday |
30th November, 1936
|
| Nationality |
American
|
| Occupation |
Mathematician
|
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.
More about Peter B. Andrews (mathematician)
Less about Peter B. Andrews (mathematician)
