Solomon Feferman

Solomon Feferman Životopis

Narození	13. prosince 1928 New York
Smrt	26. července 2016 (ve věku 87)
Státní příslušnost	americký
Výcvik	Kalifornská univerzita v Berkeley
Činnosti	Matematik , historik matematiky , filozof , univerzitní profesor

Jiná informace

Pracoval pro	Stanfordská filozofická fakulta ( d ) , Stanfordská univerzita
Pole	Matematická logika
Člen	Americká matematická společnost Americká akademie umění a věd
Dozorce	Alfred Tarski
Ocenění

Solomon Feferman (13. prosince 1928-26. července 2016) byl americký filozof a matematik působící v matematické logice . Narodil se v New Yorku a získal titul Ph.D. v roce 1957 na Kalifornské univerzitě v Berkeley pod vedením Alfreda Tarského . Byl emeritním profesorem Patrickem Suppesem v oboru vědy a humanity, nominován na katedry matematiky a filozofie na Stanford University .

V roce 2003 Feferman získal Schockovu cenu za logiku a filozofii. V roce 2012 byl zvolen kolegy z Americké matematické společnosti .

Feferman byl editor-in-šéf z Kurt Gödel Collected Works .

Publikace (výběr)

Ve světle logiky (Oxford University Press, 1998, ( ISBN 0-19-508030-0 ) , Logic and Computation in Philosophy series).
Avigad, J .; Feferman, S. (1998), Gödelova funkční interpretace ( Dialectica ). Příručka teorie důkazů, 337–405, stud. Logika nalezena. Math., 137, North-Holland, Amsterdam.
Feferman, S .; Vaught, RL (1959), Vlastnosti prvního řádu produktů algebraických systémů , Fund. Matematika. 47, 57–103.
Feferman, Solomon (1979), Konstruktivní teorie funkcí a tříd , Logic Colloquium 78 (Mons, 1978), str. 159–224 , stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York.
Feferman, Solomon (1975), Jazyk a axiomy pro explicitní matematiku. Algebra a logika (čtrnáctý Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), str. 87–139 . Poznámky k přednášce v matematice, sv. 450, Springer, Berlín.
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), Iterované indukční definice a subsystémy analýzy: nedávné důkazně-teoretické studie , Lecture Notes in Mathematics, 897. Springer-Verlag, Berlín-New York.
Feferman, Solomon; Hellman, Geoffrey (1995), Predikativní základy aritmetiky , J. Philos. Logika 24, č. 1, 1--17.
s Anitou Burdman Feferman : Alfred Tarski: Život a logika (Cambridge University Press, 2004).

(fr) Tento článek je částečně nebo zcela převzat z článku anglické Wikipedie s názvem „ Solomon Feferman “ ( viz seznam autorů ) .