Solomon Feferman - Solomon Feferman
Solomon Feferman | |
|---|---|
| narozený | 13. prosince 1928 |
| Zemřel | 26. července 2016 (ve věku 87) |
| Alma mater | Kalifornský technologický institut University of California, Berkeley |
| Éra | Současná filozofie |
| Kraj | Západní filozofie |
| Škola | Analytický Predikativismus |
| Teze | Formální konzistenční důkazy a interpretovatelnost teorií (1957) |
| Doktorský poradce | Alfred Tarski |
| Doktorandi | |
Hlavní zájmy | Filozofie matematiky |
Pozoruhodné nápady | Stratifikované systémy pro základy teorie kategorií[1] Feferman – Schütte pořadové číslo |
Vlivy | |
Ovlivněno | |
Solomon Feferman (13. prosince 1928 - 26. července 2016)[2] byl Američan filozof a matematik kdo pracoval v matematická logika.
Život
Solomon Feferman se narodil v roce Bronx v New York City rodičům dělnické třídy, kteří se poté přistěhovali do Spojených států první světová válka a setkal se a oženil se v New Yorku. Ani jeden z rodičů neměl žádné pokročilé vzdělání. Rodina se přestěhovala do Los Angeles, kde Feferman absolvoval střední školu ve věku 16 let.
Získal titul BS z Kalifornský technologický institut v roce 1948 a v roce 1957 jeho Ph.D. v matematice z University of California, Berkeley pod Alfred Tarski,[3] poté, co byl pověřen a sloužil v americké armádě v letech 1953 až 1955. V roce 1956 byl jmenován do katedry matematiky a filozofie na Stanfordská Univerzita, kde se později stal Patrick Suppes Profesor humanitních věd a věd.[4]
Příspěvky
Feferman byl šéfredaktorem pětidílného Sebrané spisy z Kurt Gödel, publikováno Oxford University Press v letech 2001 až 2013.
V roce 2004 spolu se svou ženou Anita Burdman Feferman, vydal biografii Alfred Tarski: Alfred Tarski: Život a logika.[5]
Pracoval dál predikativní matematika, zejména zavedení Feferman – Schütte pořadové číslo jako měřítko síly určitých predikativních systémů.
Uznání
Feferman získal Guggenheimovo stipendium v letech 1972 a 1986[6] a Cena Rolfa Schocka v logice a filozofii v roce 2003.[7] V roce 2006 byl vyzván, aby vydal Tarski přednášky. V roce 2012 se stal členem Americká matematická společnost.[8]
Publikace
Doklady
- Feferman, Solomon; Vaught, Robert L. (1959), „Vlastnosti prvního řádu produktů algebraických systémů“, Fond. Matematika. 47, 57–103.
- Feferman, Solomon (1975), „Jazyk a axiomy pro explicitní matematiku“, Algebra a logika (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), str. 87–139, Lecture Notes in Math., Sv. 450, Berlín, Springer.
- Feferman, Solomon (1979), „Konstruktivní teorie funkcí a tříd“, Logické kolokvium '78 (Mons, 1978), str. 159–224, stud. Logic Foundations Math., 97, Amsterdam, New York, Severní Holandsko.
- Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), „Iterované indukční definice a subsystémy analýzy: nedávné teoreticko-teoretické studie“, Přednášky z matematiky, 897, Berlín, New York, Springer-Verlag.
- Feferman, Solomon; Hellman, Geoffrey (1995), „Predikativní základy aritmetiky“, J. Philos. Logika 24 (1), 1–17.
- Avigad, Jeremy; Feferman, Solomon (1998), „Gödelův funkční (Dialectica) tlumočení ", Příručka teorie důkazů, 337–405, stud. Logika nalezena. Math., 137, Amsterdam, Severní Holandsko.
Knihy
- Feferman, Solomon. (1998). Ve světle logiky. Oxford University Press. ISBN 0-19-508030-0, Logika a výpočet ve filozofické sérii.[9]
- Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: Život a logika. Cambridge University Press. ISBN 978-0-521-80240-6. OCLC 54691904.[5]
Viz také
Reference
- ^ „Obohacené stratifikované systémy pro základy teorie kategorií“ podle Solomon Feferman (2011)
- ^ „Solomon Feferman (1928-2016)“.
- ^ Solomon Feferman na Matematický genealogický projekt
- ^ „Domovská stránka Solomona Fefermana“. Archivovány od originál 24. října 2017.
- ^ A b Recenze Alfred Tarski:
- Dauben, Joseph W. (2005), Matematické recenze, PAN 2095748CS1 maint: periodikum bez názvu (odkaz)
- Anellis, Irving H. (2005), "Posouzení", Recenze moderní logiky, 10 (1–2): 117–130
- Davis, Philip J. (Březen 2005), „Život logiky a nelogika života“, Novinky SIAM
- Davis, Martin (Březen – duben 2005), „Muž, který definoval pravdu“, Americký vědec, 93 (2): 175–177, JSTOR 27858554
- Shell-Gellasch, Amy (Květen 2005), "Posouzení", Recenze MAA
- Misiuna, Krystyna (květen 2005), Dějiny a filozofie logiky, 26 (2): 166–168, doi:10.1080/01445340412331313602, S2CID 216590845CS1 maint: periodikum bez názvu (odkaz)
- Mendelson, Elliott (červen 2005), Philosophia Mathematica, 13 (2): 231–232, doi:10.1093 / philmat / nki020CS1 maint: periodikum bez názvu (odkaz)
- Kilmister, C. W. (Červenec 2005), Matematický věstník, 89 (515): 330–331, doi:10.1017 / S0025557200177988, JSTOR 3621256CS1 maint: periodikum bez názvu (odkaz)
- Schmit, Roger (podzim 2005), Archivy de Philosophie, 68 (3): 546–547, JSTOR 43038344CS1 maint: periodikum bez názvu (odkaz)
- Maddux, Roger D. (Prosinec 2005), Bulletin symbolické logiky, 11 (4): 535–540, doi:10.1017 / S1079898600003000, JSTOR 3396716CS1 maint: periodikum bez názvu (odkaz)
- Kybernetes, 35 (1/2), leden 2006, doi:10.1108 / k.2006.06735aae.002CS1 maint: periodikum bez názvu (odkaz)
- Lescanne, Pierre (březen 2006), Novinky ACM SIGACT, 37 (1): 27, doi:10.1145/1122480.1122489, S2CID 9529607CS1 maint: periodikum bez názvu (odkaz)
- Carnielli, Walter (březen 2006), Logika a logická filozofie, 15 (1), doi:10.12775 / llp.2006.005CS1 maint: periodikum bez názvu (odkaz)
- Wood, Carol (Duben 2006), Americký matematický měsíčník, 113 (4): 377–379, doi:10.2307/27641942, JSTOR 27641942CS1 maint: periodikum bez názvu (odkaz)
- Oberdan, Thomas (červen 2006), Isis, 97 (2): 362–363, doi:10.1086/507375, JSTOR 10.1086/507375CS1 maint: periodikum bez názvu (odkaz)
- Grattan-Guinness, Ivor (Září 2006), Britský časopis pro dějiny vědy, 39 (3): 469–470, doi:10.1017 / S0007087406438681, JSTOR 4028507CS1 maint: periodikum bez názvu (odkaz)
- Apt, Krzysztof R. (březen 2007), „Alfred Tarski: život a logika“, Matematický zpravodaj, 29 (2): 78–80, doi:10.1007 / bf02986214, S2CID 189883846
- Sinaceur, Hourya Benis (Září 2007), "Posouzení" (PDF), Oznámení Americké matematické společnosti, 54 (8): 986–989
- Bassols, Alejandro Tomasini (duben 2006), Crítica: Revista Hispanoamericana de Filosofía, 38 (112): 105–111, JSTOR 40104969CS1 maint: periodikum bez názvu (odkaz)
- Brown, Scott H. (březen 2009), Učitel matematiky, 102 (7): 558, JSTOR 20876430CS1 maint: periodikum bez názvu (odkaz)
- Bremer, Manuel (prosinec 2009), "Posouzení", Filozofie v recenzi, 29 (6): 404
- Nerode, Anil (Březen 2010), Americký matematický měsíčník, 117 (3): 286–288, doi:10,4169 / 000298910x480144, JSTOR 10,4169 / 000298910x480144, S2CID 218549336CS1 maint: periodikum bez názvu (odkaz)
- Czernecka-Rej, Bożena (2011), Roczniki Filozoficzne, 59 (1): 79–84, JSTOR 43408916CS1 maint: periodikum bez názvu (odkaz)
- ^ „Nadace Johna Simona Guggenheima | Solomon Feferman“.
- ^ „Feferman získal cenu Rolfa Schocka za logiku a filozofii“.
- ^ Seznam členů Americké matematické společnosti, vyvoláno 2. prosince 2012.
- ^ Recenze Ve světle logiky:
- Avigad, Jeremy (Prosinec 1999), The Journal of Philosophy, 96 (12): 638–642, doi:10.2307/2564698, JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e
| url =chybějící název (Pomoc)CS1 maint: periodikum bez názvu (odkaz) - Antonelli, G. Aldo (Červen 2001), Bulletin symbolické logiky, 7 (2): 270–277, doi:10.2307/2687778, JSTOR 2687778CS1 maint: periodikum bez názvu (odkaz)
- Mendelson, E. (2001), Matematické recenze, PAN 1661162CS1 maint: periodikum bez názvu (odkaz)
- Avigad, Jeremy (Prosinec 1999), The Journal of Philosophy, 96 (12): 638–642, doi:10.2307/2564698, JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e
externí odkazy
Kontrolní úřad  |
|---|
   | Tento článek o americkém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |