Zum Inhalt springen

Solomon Feferman

aus Wikipedia, der freien Enzyklopädie
Datei:Feferman Solomon.jpg
Solomon Feferman, 2004

Solomon Feferman (* 13. Dezember 1928 in New York City; † 26. Juli 2016 in Stanford, Kalifornien) war ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Philosophie der Mathematik beschäftigte.

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äftigte 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?<ref>American Mathematical Monthly. Band 106, Nr. 2, 1999, S. 99–111, {{#invoke:JSTOR|f|1=2589047}}{{#if: 

 | {{#ifeq: 0 | 0
     |  }}

}}.</ref> auf dem Treffen der American Mathematical Society 1997 war Anlass einer Debatte.<ref>Solomon Feferman, Harvey Friedman, Penelope Maddy, John R. Steel: Does Mathematics Need New Axioms? In: Bulletin of Symbolic Logic. Bd. 6, Nr. 4, 2000, S. 401–446, {{#invoke:JSTOR|f|1=420965}}{{#if: 

 | {{#ifeq: 0 | 0
     |  }}

}}.</ref>

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). Er ist Fellow der American Mathematical Society.

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<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20100805070855 

      | {{#ifeq: 20100805070855 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Biografie von Anita Burdman Feferman | {{#invoke:WLink|getEscapedTitle|Biografie von Anita Burdman Feferman}} | {{#invoke:Webarchiv|getdomain|http://www.redroom.com/author/anita-burdman-feferman/bio}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20100805070855}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Biografie von Anita Burdman Feferman | {{#invoke:WLink|getEscapedTitle|Biografie von Anita Burdman Feferman}} | {{#invoke:Webarchiv|getdomain|http://www.redroom.com/author/anita-burdman-feferman/bio}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20100805070855}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Biografie von Anita Burdman Feferman | {{#invoke:WLink|getEscapedTitle|Biografie von Anita Burdman Feferman}} | {{#invoke:Webarchiv|getdomain|http://www.redroom.com/author/anita-burdman-feferman/bio}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Biografie von Anita Burdman Feferman | {{#invoke:WLink|getEscapedTitle|Biografie von Anita Burdman Feferman}} | {{#invoke:Webarchiv|getdomain|http://www.redroom.com/author/anita-burdman-feferman/bio}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Biografie von Anita Burdman Feferman | {{#invoke:WLink|getEscapedTitle|Biografie von Anita Burdman Feferman}} | {{#invoke:Webarchiv|getdomain|http://www.redroom.com/author/anita-burdman-feferman/bio}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Biografie von Anita Burdman Feferman | {{#invoke:WLink|getEscapedTitle|Biografie von Anita Burdman Feferman}} | {{#invoke:Webarchiv|getdomain|http://www.redroom.com/author/anita-burdman-feferman/bio}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20100805070855|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.redroom.com/author/anita-burdman-feferman/bio}}
    || {{#if:  || }}
  }}{{#if: Biografie von Anita Burdman Feferman
    | {{#if: {{#invoke:WLink|isBracketedLink|Biografie von Anita Burdman Feferman}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.redroom.com/author/anita-burdman-feferman/bio%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.redroom.com/author/anita-burdman-feferman/bio%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.redroom.com/author/anita-burdman-feferman/bio }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref> (* 1927 † 2015), 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.

Schriften

  • mit Anita Burdman Feferman: Alfred Tarski. Life and Logic. Cambridge University Press, Cambridge u. a. 2004, ISBN 0-521-80240-7.
  • In the light of Logic. Oxford University Press, Oxford u. a. 1998, ISBN 0-19-508030-0 (Essays).

Literatur

  • Wilfried Sieg, Richard Sommer, Carolyn Talcott (Hrsg.): Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman (= Lecture Notes in Logic. 15). A. K. Peters u. a., Natick MA 2002, ISBN 1-56881-169-1.

Weblinks

| {{#if: 
    | Vorlage:DNB-Portal – veraltete Parametrisierung 3=
  }}

}}

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 128682167n/81/13481834535231 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 128682167n/81/13481834535231 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 128682167 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 128682167 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/81/134818 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/81/134818 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 34535231 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 34535231 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Feferman, Solomon | {{#if: | {{#if: US-amerikanischer Mathematiker | {{#if: 13. Dezember 1928 | {{#if: New York City | {{#if: 26. Juli 2016 | {{#if: Stanford (Kalifornien) |
Personendaten
NAME Feferman, Solomon

}}

ALTERNATIVNAMEN

}}

KURZBESCHREIBUNG US-amerikanischer Mathematiker

}}

GEBURTSDATUM 13. Dezember 1928

}}

GEBURTSORT New York City

}}

STERBEDATUM 26. Juli 2016

}}

STERBEORT Stanford (Kalifornien)

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Solomon_Feferman&oldid=1806051“