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)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Harvey Friedman — (born circa 1948)Handbook of Philosophical Logic, ISBN 0 7923 7018 X, p. 38] is a mathematical logician at Ohio State University in Columbus, Ohio. He is noted especially for his work on reverse mathematics, a project intended to derive the… …   Wikipedia

  • Harvey Friedman — ist der Name folgender Personen: Harvey Friedman (Mathematiker) (* 1948), US amerikanischer Mathematiker und Philosoph Harvey Friedman (Schauspieler) (* 1959), US amerikanischer Schauspieler Diese Seite ist eine Begriffskl …   Deutsch Wikipedia

  • Harvey Friedman (Mathematiker) — Harvey Martin Friedman (* 23. September 1948) ist ein US amerikanischer Mathematiker und Philosoph, der sich mit mathematischer Logik und den Grundlagen der Mathematik beschäftigt. Inhaltsverzeichnis 1 Leben und Wirken 2 Literatur 3 Weblinks …   Deutsch Wikipedia

  • Harvey Friedman (Schauspieler) — Harvey Friedman (* 1959 in Pittsburgh, Pennsylvania) ist ein US amerikanischer Film und Theaterschauspieler. Leben Harvey Friedman, dessen Eltern aus Polen stammten, studierte Schauspiel an der Carnegie Mellon University, und begann seine Arbeit… …   Deutsch Wikipedia

  • Friedman — ist der Familienname folgender Personen: Benny Friedman, US amerikanischer American Football Spieler und Trainer Benjamin M. Friedman (* 1944), US amerikanischer politischer Ökonom Carl Friedman (* 1952; eigentlich Carolina Klop), niederländische …   Deutsch Wikipedia

  • Friedman — Friedman, Friedmann, and Freedman are common surnames. They may refer to:In music * Avraham Fried, Jewish composer and musical entertainer, also known as Avraham Friedman * Dean Friedman, singer songwriter * Debbie Friedman, musician * Gary… …   Wikipedia

  • FRIEDMAN — Harvey Friedman s Research on the Foundations of Mathematics, Harrington & Morley & Scedrov & Simpson (Eds.), North Holland (informationswissenschaftl. Veoeffentlichungen) …   Acronyms

  • FRIEDMAN — Harvey Friedman s Research on the Foundations of Mathematics, Harrington & Morley & Scedrov & Simpson (Eds.), North Holland (informationswissenschaftl. Veröffentlichungen) …   Acronyms von A bis Z

  • Friedman —  Cette page d’homonymie répertorie des personnes (réelles ou fictives) partageant un même patronyme. Le nom de Friedman est celui de plusieurs personnalités (par ordre alphabétique du prénom) : David Friedman (1945 ), écrivain… …   Wikipédia en Français

  • Harvey Washington Wiley — Har …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”