Peter B. Andrews *64

Peter died April 21, 2025, in Burlington, N.C.

Born in New York City Nov. 1, 1937, he completed his undergraduate work at Dartmouth in 1959 and received his Ph.D. in mathematics from Princeton in 1964. His adviser was Alonzo Church.

Peter joined Carnegie Mellon’s mathematics department in 1963 and remained there for 49 years, retiring in 2012. His expertise was in the theory and applications of higher-order logic and automated reasoning. His research was motivated by a desire to develop tools that could enhance human reasoning with a vision for the eventual formalization of virtually all mathematical, scientific, and technical knowledge, as well as the development of automated reasoning tools to assist in managing this knowledge. His work focused primarily on automated deduction within Church’s version of higher-order logic based on the simple theory of types.

Peter led the development of TPS (theorem proving system), an automated theorem prover for higher-order classical logic. A subsystem, ETPS (educational theorem proving system), was created to help students learn logic by interactively constructing natural deduction proofs.

In 2024, he received a patent on a bandage for critical wounds.

Peter is survived by his wife, Cate; sons Lyle and Bruce; and former wife, Linda Fitch.

Graduate alumni memorials are prepared by the APGA.