Jeremy Avigad es profesor de filosofía en la Universidad Carnegie Mellon .
Jeremy Avigad | |
---|---|
Nació | |
Intereses principales | Lógica , filosofía de las matemáticas , teoría de la prueba , verificación formal |
Influencias | |
Sitio web | www |
Recibió una licenciatura en matemáticas de Harvard en 1989 y un doctorado. en Matemáticas de la Universidad de California en Berkeley en 1995 bajo la supervisión de Jack Silver . [1] Ha contribuido en las áreas de fundamentos y lógica matemática , verificación formal y demostración interactiva de teoremas , y filosofía e historia de las matemáticas . [2]