Harvey Friedman

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Friedman.
image illustrant un mathématicien
Cet article est une ébauche concernant un mathématicien.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Harvey Friedman
Harvey Friedman.jpg

Harvey Friedman en 2011.

Biographie
Naissance
Nationalité
Activités
Frère
Sy Friedman (en)Voir et modifier les données sur Wikidata
Autres informations
Directeur de thèse
Gerald Sacks (en)Voir et modifier les données sur Wikidata
Nombre d'Erdős
2Voir et modifier les données sur Wikidata

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 la théorie booléenne de la relation[pas clair] afin de démontrer la nécessité des axiomes de grands cardinaux pour démontrer 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 (en).

Son frère Sy Friedman (en) 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.