Harvey Friedman
Harvey Friedman ([1]) est un mathématicien logicien à l'université d'État de l'Ohio. Il est particulièrement connu pour ses travaux de mathématiques à rebours : un projet pour « remonter aux axiomes » à partir des théorèmes principaux des mathématiques. Ces dernières années, il travaille sur un projet de livre qui regroupe l'ensemble de ses recherches, intitulé Boolean Relation Theory[2], afin de démontrer la nécessité des axiomes de grands cardinaux pour la démonstration de certaines propositions.
Pour les articles homonymes, voir Friedman.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités | |
| Fratrie |
| A travaillé pour | |
|---|---|
| Dir. de thèse | |
| Distinctions |
Harvey Friedman a obtenu son Ph. D. en soutenant une thèse sur les sous-systèmes de l'analyse, sous la direction de Gerald Sacks.
Son frère Sy Friedman est également logicien.
Prix et distinctions
En 2002, il est Gödel Lecturer avec une conférence intitulée Issues in the foundations of mathematics.
Liens externes
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- CiNii
- Bibliothèque nationale de France (données)
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale de Pologne
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- WorldCat
- (en) Page de Harvey Friedman sur le site de l'université d'État de l'Ohio
Références
- Handbook of Philosophical Logic, (ISBN 0-7923-7018-X), p. 38.
- Boolean Relation Theory and Incompleteness. Manuscrit de 819 page, 13 juin 2011.
Portail des mathématiques 
Portail de la logique 
Portail des États-Unis