Jeremy Avigad

Matemático y filósofo estadounidense (nacido en 1968)

Jeremy Avigad es profesor de filosofía y profesor de ciencias matemáticas en la Universidad Carnegie Mellon .

Recibió una licenciatura en matemáticas de la Universidad 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 a las áreas de lógica matemática y fundamentos , verificación formal y demostración interactiva de teoremas , y filosofía e historia de las matemáticas . ^[2] Se convirtió en director del Centro Hoskinson de Matemáticas Formales en la Universidad Carnegie Mellon después de que el empresario de criptomonedas Charles Hoskinson donara $ 20 millones en septiembre de 2021 para establecerlo. ^{[3] [4]}

Referencias

1. Proyecto de genealogía matemática
2. Sitio web oficial de Jeremy Avigad en la Universidad Carnegie Mellon
3. "Carnegie Mellon recibe 20 millones de dólares para establecer el Centro Hoskinson de Matemáticas Formales en el Dietrich College". Universidad Carnegie Mellon (Nota de prensa). Septiembre de 2021. Consultado el 27 de septiembre de 2021 .
4. Roberts, Siobhan (2 de julio de 2023). "La IA también llega a las matemáticas". New York Times . Consultado el 26 de marzo de 2024 . ...dijo el Dr. Avigad, quien es el director del Centro Hoskinson de Matemáticas Formales (financiado por el empresario de criptomonedas Charles Hoskinson)...