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 SilverMathematics Genealogy Project. 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ématiquesJeremy Avigad's official website at Carnegie Mellon University.
Notes et références
Source de la traduction
Liens externes
Catégorie:Mathématicien américain du XXe siècle Catégorie:Mathématicien américain du XXIe siècle Catégorie:Logicien américain Catégorie:Philosophe des mathématiques Catégorie:Professeur à l'université Carnegie-Mellon Catégorie:Étudiant de l'université Harvard Catégorie:Naissance à New York en 1968 Catégorie:Naissance en janvier 1968