Harvey Friedman
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche à compléter concernant un mathématicien, vous pouvez partager vos connaissances en le modifiant. |
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.
