Solomon Feferman

Solomon Feferman

Solomon Feferman (* 13. Dezember 1928 in New York City) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Philosophie der Mathematik beschäftigt.

Inhaltsverzeichnis

Leben und Werk

Feferman studierte am Caltech (Bachelor 1948) Mathematik, war zwei Jahre 1953 bis 1955 bei der US-Armee als Wehrdienstleistender und promovierte 1957 bei Alfred Tarski an der University of California, Berkeley (Formal Consistency Proofs and Interpretability of Theories). Ab 1956 war er an der Stanford University, zuerst als Instructor, ab 1958 als Assistant Professor für Mathematik und Philosophie, ab 1962 als Associate Professor und ab 1968 als Professor. Ab 2004 ist er dort Professor Emeritus. Er war unter anderem Gastprofessor an der Universität Oxford, der Universität Paris, am Massachusetts Institute of Technology (1967/68), der Universität Amsterdam, der Universität Rom, der ETH Zürich, der Stanford University, dem Mittag-Leffler-Institut in Stockholm.

Feferman beschäftigt sich mit mathematischer Logik (Beweistheorie, Berechenbarkeitstheorie), Grundlagen der Mathematik, Philosophie der Mathematik und Geschichte der Logik. Er war in den 1960er Jahren der erste nach Paul Cohen, der dessen Forcing Methode für Unabhängigkeitsbeweise in der Mengenlehre anwandte (und wurde auch von Cohen häufig konsultiert, als dieser seine Forcing Methode in Stanford entwickelte).

Feferman führte Mitte der 1960er Jahre unabhängig von Kurt Schütte die Feferman-Schütte-Ordinalzahl in der Beweistheorie ein.

Sein Vortrag Does mathematics need new axioms?[1] auf dem Treffen der American Mathematical Society 1997 war Anlass einer Debatte.[2]

1972/73 und 1986/87 war er Guggenheim Fellow. 1990 wurde er Fellow der American Academy of Arts and Sciences. 2003 erhielt er den Rolf-Schock-Preis. 2006 hielt er die Tarski Lectures in Berkeley. 1970 war er Invited Speaker auf dem Internationalen Mathematikerkongress (ICM) in Nizza (Ordinals and functionals in proof theory).

1982 bis 2003 war er Herausgeber der Gesammelten Werke von Kurt Gödel. Er gab auch die Werke von Julia Robinson heraus und schrieb eine Biografie von Alfred Tarski, zusammen mit seiner Ehefrau, der Schriftstellerin Anita Burdman Feferman[3] (*1927), für deren Biographie von Jean Van Heijenoort er auch einen Anhang schrieb. Beide kannten diesen persönlich.

Zu seinen Doktoranden zählt Jon Barwise.

Literatur

  • W. Sieg, R. Sommer, C. Talcott (Herausgeber): Reflections on the foundations of mathematics- essays in honor of Solomon Feferman, A.K.Peters 2002

Schriften

  • mit Anita Burdman Feferman: Alfred Tarski – Life and Logic, Cambridge University Press 2004
  • In the light of Logic, Oxford University Press 1998 (Essays)

Weblinks

Einzelnachweise

  1. American Mathematical Monthly, Bd.106, 1999, S.99-111
  2. Solomon Feferman,Harvey Friedman, Penelope Maddy, John R. Steel: Does mathematics need new axioms? Bulletin of Symbolic Logic, Bd.6, 2000, S. 401-446
  3. Biografie von Anita Burdman Feferman

Wikimedia Foundation.

См. также в других словарях:

  • Solomon Feferman — (b. December 13, 1928) is an American philosopher and mathematician with major works in mathematical logic. He was born in New York City, New York, and received his Ph.D. in 1957 from the University of California, Berkeley under Alfred Tarski. He …   Wikipedia

  • Solomon Feferman — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Feferman–Schütte ordinal — In mathematics, the Feferman–Schütte ordinal Gamma;0 is a large countable ordinal.It is the proof theoretic ordinal of several mathematical theories.It is named after Solomon Feferman and Kurt Schütte.It is sometimes said to be the first… …   Wikipedia

  • Ordinal de Feferman-Schütte — En mathématiques, et plus précisément en théorie des ensembles, l’ordinal de Feferman–Schütte, noté Γ0, est un grand ordinal dénombrable, étudié par Solomon Feferman (en) et Kurt Schütte (en). Définition L …   Wikipédia en Français

  • Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… …   Wikipedia

  • Dana Scott — Dana Stewart Scott Born October 11, 1932 (1932 10 11) (age 79) …   Wikipedia

  • Ordinal notation — In mathematical logic and set theory, an ordinal notation is a finite sequence of symbols from a finite alphabet which names an ordinal number according to some scheme which gives meaning to the language. There are many such schemes of ordinal… …   Wikipedia

  • Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

  • Orch-OR — (Orchestrated Objective Reduction) is a theory of consciousness, which is the joint work of theoretical physicist Sir Roger Penrose and anesthesiologist Stuart Hameroff. Mainstream theories assume that consciousness emerges from the brain, and… …   Wikipedia

  • George Boolos — Infobox Person name = George Boolos birth date = birth date|1940|9|4|mf=y birth place = New York, New York, U.S. death date = death date and age|1996|5|27|1940|9|4|mf=y death place = Cambridge, Massachusetts, U.S.George Stephen Boolos (September… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»