Harvey Friedman

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Page d'aide sur l'homonymie Pour les articles homonymes, voir Friedman.
Harvey Friedman
Harvey Friedman.jpg
Harvey Friedman en 2011.
Biographie
Naissance
Nationalité
Activités
Fratrie
Autres informations
A travaillé pour
Directeur de thèse
Distinctions

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.

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[modifier | modifier le code]

En 2002, il est Gödel Lecturer avec une conférence intitulée Issues in the foundations of mathematics.

Liens externes[modifier | modifier le code]

Références[modifier | modifier le code]

  1. Handbook of Philosophical Logic, (ISBN 0-7923-7018-X), p. 38.
  2. Boolean Relation Theory and Incompleteness. Manuscrit de 819 page, 13 juin 2011.