Harvey Friedman

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Friedman.
Harvey Friedman

Harvey Friedman (23 septembre 1948[1]) 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 la théorie booléenne de la relation[pas clair] afin de démontrer la nécessité des axiomes de grands cardinaux pour démontrer 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 (en).

Son frère Sy Friedman (en) est également logicien.

Lien externe[modifier | modifier le code]

(en) Page de Harvey Friedman sur le site de l'université d'État de l'Ohio

Références[modifier | modifier le code]

  1. Handbook of Philosophical Logic, ISBN 0-7923-7018-X, p. 38