Harvey Friedman
Harvey Friedman est un logicien mathématique à l'Université de l'Ohio. Il est particulièrement connu pour ses travaux des mathétiques renverssé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écéssité 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.