Jeremy Avigad
Jeremy Avigad
| Naissance |  (56 ans)New York |
|---|---|
| Nationalité | américaine |
| Formation | |
| Activités | Philosophe, mathématicien, informaticien |
| A travaillé pour | |
|---|---|
| Directeur de thèse | Jack Silver (en) |
modifier - modifier le code - modifier Wikidata
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[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
- ↑ Mathematics Genealogy Project
- ↑ Jeremy Avigad's official website at Carnegie Mellon University
Source de la traduction
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Jeremy Avigad » (voir la liste des auteurs).
Liens externes
- Notices d'autorité
: - VIAF
- LCCN
- Pologne
- Israël
- NUKAT
- WorldCat
- Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- ORCID
- ResearchGate
Portail de la philosophie 
Portail des mathématiques 
Portail des États-Unis
