Salomona Fefermana - Solomon Feferman

Salomona Fefermana
Urodzić się ( 1928-12-13 )13 grudnia 1928
Zmarł 26 lipca 2016 (26.07.2016)(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 .

Zobacz też

Bibliografia

Zewnętrzne linki