Harvey Friedman

Harvey Friedman (23 septembre 1948^[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.

Harvey Friedman

Harvey Friedman en 2011.

Biographie

Naissance	23 septembre 1948 (76 ans) Chicago
Nationalité	américaine
Formation	Institut de technologie du Massachusetts
Activités	Mathématicien, logicien, professeur d'université
Fratrie	Sy Friedman

Autres informations

A travaillé pour	Université d'État de l'Ohio
Directeur de thèse	Gerald Sacks
Distinctions	Prix Alan T. Waterman (1984) Gödel Lecturer (2002) Bourse Guggenheim

modifier - modifier le code - modifier Wikidata

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

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematical Reviews
  • Mathematics Genealogy Project
  • ZbMATH
• Notice dans un dictionnaire ou une encyclopédie généraliste :

  • Deutsche Biographie
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • LCCN
  • GND
  • CiNii
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • WorldCat
• (en) Page de Harvey Friedman sur le site de l'université d'État de l'Ohio