Harvey Friedman (Mathematiker)

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

Leben und Wirken

Friedman promovierte 1967 in Mathematik bei Gerald E. Sacks am Massachusetts Institute of Technology (Subsystems of Analysis). Danach war er Assistant Professor (was ihm einen Eintrag ins Guinness Book of World Records als jüngster Professor eintrug) und ab 1969 Associate Professor für Philosophie an der Stanford University. 1970 wurde er Associate Professor für Mathematik an der University of Wisconsin-Madison und ab 1973 Professor an der State University of New York at Buffalo.

Seit 1977 ist er Mathematik-Professor an der Ohio State University. Ab 1985 war er dort Professor für Philosophie und Informatik und ab 1991 auch Professor für Musik. 1987 wurde er zum Distinguished Professor ernannt.

Er war unter anderem Gastwissenschaftler und Berater bei IBM und bei den Bell Laboratories. Er war unter anderem Gastprofessor an der University of Pennsylvania, der University of Minnesota und der Princeton University.

Friedman beschäftigte sich mit axiomatischer Mengenlehre, Modelltheorie (wo er die Borel´sche Modelltheorie begründete), Beweistheorie, Intuitionismus, Informatik und Berechenbarkeitstheorie. Er ist bekannt als Vertreter der von ihm begründeten Reversen Mathematik[1], die aus den für nötig erachteten Theoremen auf die zum Beweis erforderlichen Axiome schließt (zum Beispiel auch Axiome großer Kardinalzahlen). Seine Arbeiten führten schon Anfang der 1970er Jahre zu völlig neuartigen Unabhängigkeits-Sätzen viel konkreterer Natur, als zum Beispiel in den klassischen Arbeiten von Kurt Gödel oder Paul Cohen, zunächst in der Theorie Borel-messbarer Funktionen, dann auch in der diskreten Mathematik (Sätze, die nicht mit ZFC allein bewiesen werden konnten, aber etwa mit Axiomen großer Kardinalzahlen).[2] Um 2000 fasste er seine diesbezüglichen Untersuchungen in seiner Boolean Relation Theory zusammen.

In den 1980er Jahren zeigte er, dass eine Variante des Satzes von Joseph Kruskal über die Anordnung von Mengen von Bäumen nicht in der Peano-Arithmetik entscheidbar ist.

Er zeigte, dass Borel-Determiniertheit nicht in Systemen mit nur abzählbar unendlich vielen Iterationen von Potenzmengenbildung bewiesen werden kann.[3]

1984 erhielt er den Alan T. Waterman Award der National Science Foundation. 1986/87 war er Guggenheim Fellow. 2002 war er Gödel-Lecturer und 2007 hielt er die Tarski Lectures an der University of California, Berkeley. 1974 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Vancouver (Some systems of second order arithmetic and their use).

Er ist der Bruder des Mathematikers Sy Friedman.

Literatur

Weblinks

Einzelnachweise

  1. Zuerst auf dem Internationalen Mathematikerkongress in Vancouver 1974 Some Systems of Second Order Arithmetic and Their Use. Weiter zum Beispiel: Friedman, Stephen G. Simpson: Issues and problems in reverse mathematics. In: Cholak, Lempp, Lerman, Shore (Hrsg.): Computability theory and its applications. AMS 2000, S. 127–144, oder Simpson: Subsystems of second order logic. Cambridge University Press 2009
  2. Harrington, Nerode Harvey Friedman, Notices AMS, Bd.31, 1984, S.563
  3. Friedman: Higher set theory and mathematical practice. In: Annals of Mathematical Logic. Band 2, 1971, S. 326

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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

  • 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

  • Sy Friedman — Sy David Friedman im Juli 2007 Sy David Friedman (* 23. Mai 1953 in Chicago) ist ein US amerikanischer Mathematiker, der sich mit mathematischer Logik und der Mengenlehre beschäftigt. Friedman studierte an der Northwestern University und ab 1970… …   Deutsch Wikipedia

  • Liste der Biografien/Fri — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Joseph Kruskal — Joseph Bernard Kruskal (* 29. Januar 1928 in New York City; † 19. September 2010 in Princeton (New Jersey)) war ein US amerikanischer Mathematiker und Statistiker.[1] Er hat an der Universität von Chicago und der Princeton Universität studiert,… …   Deutsch Wikipedia

  • Gerald E. Sacks — Gerald Enoch Sacks (* 1933 in Brooklyn) ist ein US amerikanischer mathematischer Logiker. Sacks promovierte 1961 bei John Barkley Rosser an der Cornell University (On Suborderings of Degrees of Recursive Unsolvability). Ab 1962 war er Assistant… …   Deutsch Wikipedia

  • Jiří Matoušek — (* 10. März 1963 in Prag) ist ein tschechischer Mathematiker. Jiri Matousek, Oberwolfach 2005 Matousek ist Professor für Informatik an der Karls Universität Prag. Er befasst sich mit diskreter und algorithmischer (computational) Geometrie und ist …   Deutsch Wikipedia

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

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