Harvey Friedman

Métiers
Naissance
1 janvier 1959 (Pittsburgh, Pennsylvania, USA)
Age
65

Biographie Harvey Friedman

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. Ces dernières années, il travaille sur un projet de Lire plus