Peter B. Andrews
Peter Bruce Andrews | |
|---|---|
Peter Andrews presenting lecture at IJCAR 2012 | |
| Born | November 1, 1937 |
| Died | April 21, 2025 (aged 87) |
| Known for | Q0 (mathematical logic), TPS |
| Spouse | Catherine Clair “Cate” Andrews |
| Children | Lyle, Bruce (Tobi) |
| Parent(s) | Frank Emerson, Edith Lilian Severance |
| Awards | Herbrand Award, 2003 |
| Academic background | |
| Education | Ph.D. in Mathematics |
| Alma mater | Princeton University |
| Thesis | A Transfinite Type Theory with Type Variables (1964) |
| Doctoral advisor | Alonzo Church |
| Academic work | |
| Discipline | Mathematical logic |
| Sub-discipline | Type theory |
| Institutions | Carnegie Mellon University |
| Doctoral students | Frank Pfenning, Dale Miller (academic) |
| Influenced | Wolfgang Bibel |
| Website | Peter B. Andrews, archived from the original on 2022-01-19, retrieved 2025-06-06 |
Peter Bruce Andrews (November 1, 1937 – April 21, 2025) was an American mathematical logician. He is the creator of the mathematical logic Q0. He also received a patent on bandage for critical wounds.