Die fünfbändigen Collected Works of Kurt Gödel, die zwischen 2001 und 2013 von der Oxford University Press veröffentlicht wurden, sind ein herausragendes Beispiel für Solomon Fefermans wissenschaftliche Beiträge zur Geschichte der Logik. Als Mathematiker und Philosoph an der Stanford University bewegte er sich über eine jahrzehntelange Karriere hinweg an den komplexen Schnittstellen von Beweistheorie, Berechenbarkeitstheorie und Mengenlehre.
Akademischer Werdegang
Feferman wurde 1928 in New York City geboren, zog mit seiner Familie nach Los Angeles und schloss die High School im Alter von 16 Jahren ab. 1948 erwarb er einen B.S. am California Institute of Technology. Nach seinem Dienst in der US-Army von 1953 bis 1955 promovierte er 1957 in Mathematik an der University of California, Berkeley. Seine Dissertation entstand unter der Betreuung von Alfred Tarski.
Karriere in Stanford
1956 trat Feferman dem Fachbereich für Mathematik und Philosophie der Stanford University bei. Er verbrachte den größten Teil seines Berufslebens an dieser Institution und bekleidete schließlich den Lehrstuhl des Patrick Suppes Professor of Humanities and Sciences. Seine Karriere umfasste unter anderem Stationen als Postdoktorand am Institute for Advanced Study in Princeton, als Gastprofessor am MIT und als Gaststipendiat am Wolfson College in Oxford.
Logik und Prädikativismus
Feferman erlangte den Ruf eines Verfechters des Prädikativismus und vertrat eine antiplatonistische Perspektive innerhalb der Philosophie der Mathematik. Inspiriert von den Schriften von Hermann Weyl bemühte er sich um eine Klärung der mathematischen Grundlagen. Diese Arbeit führte ihn zur Einführung der Feferman-Schütte-Ordinalzahl, einer Metrik zur Messung der Stärke bestimmter prädikativer Systeme.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Redaktionelle und historische Projekte
Über seine technische Forschung hinaus widmete sich Feferman einer umfangreichen historischen Dokumentation zur Entwicklung der Logik. Er fungierte als Chefredakteur der Collected Works of Kurt Gödel. 2004 veröffentlichte er gemeinsam mit seiner Frau Anita Burdman Feferman die Biografie Alfred Tarski: Life and Logic. Diese Projekte konzentrierten sich darauf, das Leben und das intellektuelle Schaffen prominenter Persönlichkeiten auf diesem Gebiet zu kontextualisieren.
Kurzinformationen
- Geboren: 1928, New York City - Gestorben: 26. Juli 2016, Stanford - Doktorvater: Alfred Tarski - Hauptinstitution: Stanford University - Wichtigste Auszeichnung: Rolf-Schock-Preis in Logik und Philosophie (2003) - Beruflicher Status: Fellow der American Mathematical Society (2013) - Akademischer Grad: Ph.D., University of California, Berkeley (1957) - Ausbildung: California Institute of Technology (1948)
Häufig gestellte Fragen
### Wie stand Feferman zur Philosophie der Mathematik?
Er war ein ausgesprochener Befürworter des Prädikativismus und vertrat eine antiplatonistische Position.
### Welches große redaktionelle Projekt leitete er?
Er war Chefredakteur der fünfbändigen Collected Works of Kurt Gödel.
