Jeremy Avigad

Jeremy Avigad est un professeur de philosophie à l'université Carnegie Mellon.

Jeremy Avigad
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Dir. de thèse
Jack Silver (en)

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[1]. 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[2].

Notes et références

Source de la traduction

Liens externes

  • Portail de la philosophie
  • Portail des mathématiques
  • Portail des États-Unis
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.