Harvey Friedman


Harvey Friedman
Page d'aide sur l'homonymie Pour les articles homonymes, voir Friedman.

Harvey Friedman (23 septembre 1948[1]) est un mathématicien logicien à l'Université 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

Page d'Harvey Friedman sur le site de l'Université de l'Ohio

Références

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

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Harvey Friedman de Wikipédia en français (auteurs)