Peter B. Andrews (mathematician)
Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. 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.
Read more about Peter B. Andrews (mathematician): Publications
Famous quotes containing the words peter and/or andrews:
“A girl? Hey, that’s better in a way. A boy needs more from a father.”
—Margaret Forster, British screenwriter, Peter Nichols, and Silvio Narizzano. Jos (Alan Bates)
“The man’s an M.D., like you. He’s entitled to his opinion. Or do you want me to charge him with confusing a country doctor?”
—Robert M. Fresco. Jack Arnold. Sheriff Jack Andrews (Nestor Paiva)