Tag: Peter B. Andrews

I want to add more personal observations about Peter and his work than what appears in the In Memoriam. Being a Ph.D. Student with Peter Andrews An important research project for Peter was constructing a theorem-proving environment for the version of higher-order logic that his Ph.D. advisor, Alonzo Church, designed and named the Simple Theory…

Peter B. Andrews, an American mathematician and Professor Emeritus at Carnegie Mellon University, passed away on April 21, 2025, at the age of 87. Andrews was a leading figure in the theory and applications of higher-order logic and automated reasoning. Peter Andrews received his Ph.D. in Mathematics from Princeton University in 1964, where he was…