Harvey Friedman
États-Unis · Sur la carte · Universitaires · Naissance en 1948 · 78 ans
Harvey Friedman (23 septembre 1948) 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.
Texte issu de Wikipédia, CC BY-SA 4.0
Harvey Friedman : environ 30 lectures par jour, en 7 langues.
Un jour typique, sur 30 jours jusqu'au 7 octobre 2026
Le jour médian de la période comptée : une semaine d'actualité ne peut donc pas le faire bouger. La courbe en dessous montre les 120 derniers jours, un point par jour.
Une erreur ?Autour d’Harvey
Famille
Harvey Friedman
Est-ce toute la famille ?
Seuls les proches qui ont un profil ici sont représentés : une famille peut donc être plus grande. Un lien peut aussi être erroné.
Corriger cette familleMédias et musique
Photos 1
Distinctions
À propos de cette personne
Ces dernières années, il travaille sur un projet de livre qui regroupe l'ensemble de ses recherches, intitulé Boolean Relation Theory, 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.
Texte issu de Wikipédia, CC BY-SA 4.0