Salomona Fefermana - Solomon Feferman
Salomona Fefermana | |
---|---|
Urodzić się |
Bronx, Nowy Jork , USA
|
13 grudnia 1928
Zmarł | 26 lipca 2016
Stanford, Kalifornia , USA
|
(w wieku 87 lat)
Alma Mater |
Kalifornijski Instytut Technologiczny, Uniwersytet Kalifornijski, Berkeley |
Era | Filozofia współczesna |
Region | Filozofia zachodnia |
Szkoła |
Predykatywizm analityczny |
Praca dyplomowa | Formalne dowody spójności i interpretowalność teorii (1957) |
Doradca doktorski | Alfred Tarski |
Doktoranci | |
Główne zainteresowania |
Filozofia matematyki |
Wybitne pomysły |
Systemy warstwowe dla podstaw teorii kategorii Feferman-Schütte liczba porządkowa liczba porządkowa funkcja załamywania matematyka jawna |
Wpływy | |
Pod wpływem |
Solomon Feferman (13 grudnia 1928 – 26 lipca 2016) był amerykańskim filozofem i matematykiem, który pracował w logice matematycznej .
Życie
Solomon Feferman urodził się w Bronksie w Nowym Jorku w rodzinie robotniczej, która po I wojnie światowej wyemigrowała do Stanów Zjednoczonych, poznała się i pobrała w Nowym Jorku. Żaden z rodziców nie miał żadnego zaawansowanego wykształcenia. Rodzina przeniosła się do Los Angeles, gdzie Feferman ukończył szkołę średnią w wieku 16 lat.
Uzyskał licencjat z California Institute of Technology w 1948, aw 1957 doktorat. ukończył studia matematyczne na Uniwersytecie Kalifornijskim w Berkeley pod kierunkiem Alfreda Tarskiego , po tym jak został powołany i służył w armii amerykańskiej w latach 1953-1955. W 1956 został powołany na Wydział Matematyki i Filozofii na Uniwersytecie Stanforda , gdzie później został mianowany Patrick Suppes profesor nauk humanistycznych i Nauki.
Feferman zmarł 26 lipca 2016 r. w swoim domu w Stanford po trzymiesięcznej chorobie i udarze mózgu . W chwili śmierci był członkiem MAA przez 37 lat.
Składki
Feferman był redaktor naczelny pięcioletniego tomu dzieł zebranych z Kurt Gödel , opublikowane przez Oxford University Press w latach 2001 i 2013.
W 2004 roku wraz z żoną Anitą Burdman Feferman opublikował biografię Alfreda Tarskiego : Alfred Tarski: Life and Logic .
Pracował nad matematyką predykatywną , w szczególności wprowadzając liczbę porządkową Feferman-Schütte jako miarę siły niektórych systemów predykatywnych.
Uznanie
Feferman otrzymał stypendium Guggenheima w 1972 i 1986 roku oraz nagrodę Rolfa Schocka w dziedzinie logiki i filozofii w 2003 roku. W 2006 roku został zaproszony do wygłoszenia wykładów Tarskiego . W 2012 został stypendystą Amerykańskiego Towarzystwa Matematycznego .
Publikacje
Dokumenty tożsamości
- Feferman, Salomon; Vaught, Robert L. (1959), "Właściwości pierwszego rzędu produktów systemów algebraicznych", Fund. Matematyka. 47, 57–103.
- Feferman, Solomon (1975), „Język i aksjomaty dla matematyki jawnej”, Algebra i logika (Czternasty Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), s. 87-139, Notatki z wykładu z matematyki, obj. 450, Berlin, Springer.
- Feferman, Solomon (1979), "Konstruktywne teorie funkcji i klas", Logic Colloquium '78 (Mons, 1978) , s. 159-224, Stud. Logic Foundations Math., 97, Amsterdam, Nowy Jork, Północna Holandia.
- Buchholz, Wilfried; Feferman, Salomon; Pohlersa, Wolframa; Sieg, Wilfried (1981), "Iterated indukcyjne definicje i podsystemy analizy: ostatnie badania dowodowo-teoretyczne", Lecture Notes in Mathematics , 897, Berlin, New York, Springer-Verlag.
- Feferman, Salomon; Hellman, Geoffrey (1995), „Predykatowe podstawy arytmetyki”, J. Philos. Logika 24 (1), 1-17.
- Avigad, Jeremy ; Feferman, Solomon (1998), „funkcjonalna interpretacja Gödla ( Dialectica )”, Podręcznik teorii dowodu , 337-405, Stud. Znaleziono logikę. Matematyka, 137, Amsterdam, Holandia Północna.
Książki
- Feferman, Salomon. (1998). W świetle logiki . Oxford University Press. ISBN 0-19-508030-0 , Seria Logika i Obliczenia w Filozofii.
- Feferman, Anita Burdman; Feferman, Salomon (2004). Alfred Tarski: Życie i logika . Wydawnictwo Uniwersytetu Cambridge . Numer ISBN 978-0-521-80240-6. OCLC 54691904 .