Pedro B Andrews
Peter Bruce Andrews (nacido en 1937) es un matemático estadounidense y profesor de matemáticas, emérito de la Universidad Carnegie Mellon en Pittsburgh, Pensilvania , [1] y el creador de la lógica matemática Q 0 . Recibió su Ph.D. de la Universidad de Princeton en 1964 bajo la tutela de Alonzo Church . [2] Recibió el Premio Herbrand en 2003. [3] Su grupo de investigación diseñó el probador de teoremas automatizado TPS . Se utiliza un subsistema ETPS (Sistema de prueba de teoremas educativos) de TPS para ayudar a los estudiantes a aprender lógica mediante la construcción interactiva de pruebas de deducción natural.
