Jeremy Avigad
personne
mathématicien américain
Jeremy Avigad est un professeur de philosophie à l'université Carnegie Mellon. Il obtient un B.A. en mathématiques de l'université Harvard en 1989 et un Ph.D. de mathématiques de l'université de Californie à Berkeley en 1995 sous la direction de Jack Silver. Il est actif dans les domaines de la logique mathématique et des fondements des mathématiques, vérification formelle et des preuves de théorème interactif ainsi que d'histoire et de philosophie des mathématiques.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Jeremy_Avigad
Lien Wikidata : https://www.wikidata.org/wiki/Q15631390
Propriétés
- date_naissance
- +1968-01-0
- genre_personne
- masculin
- lieu_naissance
- {"qid": "Q60", "label": "New York"}
- nationalite
- États-Unis
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, philosophe, informaticien ou informaticienne