Harvey Friedman

Un article de Wikipédia, l'encyclopédie libre.

Harvey Friedman est un logicien mathématique à l'Université de l'Ohio. Il est particulièrement connu pour ses travaux de mathématiques renversées : un projet pour renverser les axiomes des principaux théorèmes des mathématiques. Ces dernières années il travaille sur la théorie booléenne de la relation afin de démontrer la nécessité des axiomes sur les nombres cardinaux pour en renverser certaines propositions.

Harvey Friedman est docteur en philosophie, doctorat qu'il a obtenu avec sa thèse sur les sous-systèmes de l'analyse sur laquelle il a travaillé avec Gerald Sacks.

[modifier] Liens externes

• Page d'Harvey Friedman sur le site de l'Université de l'Ohio

• Portail des mathématiques