WikiDer > Sulaymon Feferman
Solomon Feferman
Sulaymon Feferman | |
|---|---|
| Tug'ilgan | 1928 yil 13-dekabr |
| O'ldi | 2016 yil 26-iyul (87 yosh) |
| Olma mater | Kaliforniya texnologiya instituti Berkli Kaliforniya universiteti |
| Davr | Zamonaviy falsafa |
| Mintaqa | G'arb falsafasi |
| Maktab | Analitik Predikativizm |
| Tezis | Rasmiy izchillik dalillari va nazariyalarning talqin qilinishi (1957) |
| Doktor doktori | Alfred Tarski |
| Doktorantlar | |
Asosiy manfaatlar | Matematika falsafasi |
Taniqli g'oyalar | Qatlamli tizimlar asoslari uchun toifalar nazariyasi[1] Feferman – Shyutte tartibi |
Ta'sir | |
Ta'sirlangan | |
Sulaymon Feferman (1928 yil 13-dekabr - 2016 yil 26-iyul)[2] amerikalik edi faylasuf va matematik kim ishlagan matematik mantiq.
Hayot
Sulaymon Feferman tug'ilgan Bronks yilda Nyu-York shahri keyin Qo'shma Shtatlarga ko'chib kelgan ishchi ota-onalarga Birinchi jahon urushi va Nyu-Yorkda uchrashgan va turmush qurgan. Ikkala ota-onaning ham ilg'or ma'lumotlari yo'q edi. Oila Los Anjelesga ko'chib o'tdi, u erda Feferman 16 yoshida o'rta maktabni tugatdi.
U o'zining B.S. dan Kaliforniya texnologiya instituti 1948 yilda, 1957 yilda esa uning fan nomzodi. matematikada Berkli Kaliforniya universiteti, ostida Alfred Tarski,[3] 1953 yildan 1955 yilgacha harbiy xizmatga chaqirilgan va AQSh armiyasida xizmat qilgan. 1956 yilda u Matematika va falsafa kafedralariga tayinlangan. Stenford universiteti, keyinchalik u Patrik Suppes Gumanitar fanlar professori.[4]
Hissa
Feferman besh jildning bosh muharriri edi To'plangan asarlar ning Kurt Gödeltomonidan nashr etilgan Oksford universiteti matbuoti 2001 yildan 2013 yilgacha.
2004 yilda, uning rafiqasi bilan birga Anita Burdman Feferman, u biografiyasini nashr etdi Alfred Tarski: Alfred Tarski: Hayot va mantiq.[5]
U ishlagan predikativ matematika, xususan Feferman – Shyutte tartibi ba'zi predikativ tizimlarning kuchini o'lchaydigan o'lchov sifatida.
E'tirof etish
Fefermanga 1972 va 1986 yillarda Guggenxaym stipendiyasi berildi[6] va Rolf Shok mukofoti mantiq va falsafada 2003 yilda.[7] 2006 yilda uni etkazib berishga taklif qilishdi Tarski ma'ruzalari. 2012 yilda u sherigiga aylandi Amerika matematik jamiyati.[8]
Nashrlar
Qog'ozlar
- Feferman, Sulaymon; Vaught, Robert L. (1959), "Algebraik tizimlar mahsulotlarining birinchi tartib xususiyatlari", Jamg'arma. Matematika. 47, 57–103.
- Feferman, Sulaymon (1975), "Aniq matematikaga oid til va aksiomalar", Algebra va mantiq (O'n to'rtinchi Yozgi Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), 87-139-betlar, Matematikadagi ma'ruzalar, jild. 450, Berlin, Springer.
- Feferman, Sulaymon (1979), "Funksiyalar va sinflarning konstruktiv nazariyalari", Mantiqiy kollokvium '78 (Mons, 1978), 159-224 betlar, Stud. Mantiqiy asoslar matematikasi, 97, Amsterdam, Nyu-York, Shimoliy Gollandiya.
- Buxolts, Uilfrid; Feferman, Sulaymon; Pohlers, Volfram; Sieg, Uilfrid (1981), "Tahlilning induktiv ta'riflari va quyi tizimlari: so'nggi isbot-nazariy tadqiqotlar", Matematikadan ma'ruza matnlari, 897, Berlin, Nyu-York, Springer-Verlag.
- Feferman, Sulaymon; Xellman, Jefri (1995), "Arifmetikaning taxminiy asoslari", J. Filos. Mantiq 24 (1), 1–17.
- Avigad, Jeremi; Feferman, Sulaymon (1998), "Gödelning funktsional (Dialektika) izohlash ", Isbot nazariyasi bo'yicha qo'llanma, 337–405, Stud. Mantiq topildi. Matematik., 137, Amsterdam, Shimoliy Gollandiya.
Kitoblar
- Feferman, Sulaymon. (1998). Mantiq nurida. Oksford universiteti matbuoti. ISBN 0-19-508030-0, Falsafadagi mantiq va hisoblash.[9]
- Feferman, Anita Burdman; Feferman, Sulaymon (2004). Alfred Tarski: Hayot va mantiq. Kembrij universiteti matbuoti. ISBN 978-0-521-80240-6. OCLC 54691904.[5]
Shuningdek qarang
Adabiyotlar
- ^ "Turkumlar nazariyasi asoslari uchun boyitilgan tabaqalashtirilgan tizimlar" tomonidan Sulaymon Feferman (2011)
- ^ "Solomon Feferman (1928-2016)".
- ^ Sulaymon Feferman da Matematikaning nasabnomasi loyihasi
- ^ "Sulaymon Fefermanning bosh sahifasi". Arxivlandi asl nusxasi 2017 yil 24 oktyabrda.
- ^ a b Sharhlar Alfred Tarski:
- Dauben, Jozef V. (2005), Matematik sharhlar, JANOB 2095748CS1 maint: nomlanmagan davriy nashr (havola)
- Anellis, Irving H. (2005), "Sharh", Zamonaviy mantiqqa sharh, 10 (1–2): 117–130
- Devis, Filipp J. (2005 yil mart), "Mantiqiy hayot va mantiqsiz hayot", SIAM yangiliklari
- Devis, Martin (2005 yil mart-aprel), "Haqiqatni aniqlagan odam", Amerikalik olim, 93 (2): 175–177, JSTOR 27858554
- Shell-Gellasch, Emi (2005 yil may), "Sharh", MAA sharhlari
- Misiuna, Krystyna (2005 yil may), Mantiq tarixi va falsafasi, 26 (2): 166–168, doi:10.1080/01445340412331313602, S2CID 216590845CS1 maint: nomlanmagan davriy nashr (havola)
- Mendelson, Elliott (iyun 2005), Matematika falsafasi, 13 (2): 231–232, doi:10.1093 / philmat / nki020CS1 maint: nomlanmagan davriy nashr (havola)
- Kilmister, C. V. (2005 yil iyul), Matematik gazeta, 89 (515): 330–331, doi:10.1017 / S0025557200177988, JSTOR 3621256CS1 maint: nomlanmagan davriy nashr (havola)
- Shmit, Rojer (2005 yil kuz), Falsafa arxivi, 68 (3): 546–547, JSTOR 43038344CS1 maint: nomlanmagan davriy nashr (havola)
- Maddux, Rojer D. (2005 yil dekabr), Ramziy mantiq byulleteni, 11 (4): 535–540, doi:10.1017 / S1079898600003000, JSTOR 3396716CS1 maint: nomlanmagan davriy nashr (havola)
- Kibernetlar, 35 (1/2), 2006 yil yanvar, doi:10.1108 / k.2006.06735aae.002CS1 maint: nomlanmagan davriy nashr (havola)
- Leskanne, Per (2006 yil mart), ACM SIGACT yangiliklari, 37 (1): 27, doi:10.1145/1122480.1122489, S2CID 9529607CS1 maint: nomlanmagan davriy nashr (havola)
- Carnielli, Walter (2006 yil mart), Mantiq va mantiqiy falsafa, 15 (1), doi:10.12775 / llp.2006.005CS1 maint: nomlanmagan davriy nashr (havola)
- Yog'och, Kerol (2006 yil aprel), Amerika matematikasi oyligi, 113 (4): 377–379, doi:10.2307/27641942, JSTOR 27641942CS1 maint: nomlanmagan davriy nashr (havola)
- Oberdan, Tomas (2006 yil iyun), Isis, 97 (2): 362–363, doi:10.1086/507375, JSTOR 10.1086/507375CS1 maint: nomlanmagan davriy nashr (havola)
- Grattan-Ginnes, Ivor (Sentyabr 2006), Britaniyaning Fan tarixi jurnali, 39 (3): 469–470, doi:10.1017 / S0007087406438681, JSTOR 4028507CS1 maint: nomlanmagan davriy nashr (havola)
- Apt, Krzysztof R. (2007 yil mart), "Alfred Tarski: hayot va mantiq", Matematik razvedka, 29 (2): 78–80, doi:10.1007 / bf02986214, S2CID 189883846
- Sinaceur, Hourya Benis (Sentyabr 2007), "Sharh" (PDF), Amerika Matematik Jamiyati to'g'risida bildirishnomalar, 54 (8): 986–989
- Bassols, Alejandro Tomasini (2006 yil aprel), Kritika: Revista Hispanoamericana de Filosofía, 38 (112): 105–111, JSTOR 40104969CS1 maint: nomlanmagan davriy nashr (havola)
- Brown, Scott H. (mart 2009), Matematika o'qituvchisi, 102 (7): 558, JSTOR 20876430CS1 maint: nomlanmagan davriy nashr (havola)
- Bremer, Manuel (2009 yil dekabr), "Sharh", Falsafa ko'rib chiqilmoqda, 29 (6): 404
- Nerode, Anil (Mart 2010), Amerika matematikasi oyligi, 117 (3): 286–288, doi:10.4169 / 000298910x480144, JSTOR 10.4169 / 000298910x480144, S2CID 218549336CS1 maint: nomlanmagan davriy nashr (havola)
- Czernecka-Rej, Boena (2011), Roczniki Filozoficzne, 59 (1): 79–84, JSTOR 43408916CS1 maint: nomlanmagan davriy nashr (havola)
- ^ "Jon Simon Guggenxaym jamg'armasi | Sulaymon Feferman".
- ^ "Fefermanga mantiq va falsafa bo'yicha Rolf Shok mukofoti berildi".
- ^ Amerika Matematik Jamiyati a'zolari ro'yxati, 2012 yil 2-dekabrda olingan.
- ^ Sharhlar Mantiq nurida:
- Avigad, Jeremi (1999 yil dekabr), Falsafa jurnali, 96 (12): 638–642, doi:10.2307/2564698, JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e
| url =yo'qolgan sarlavha (Yordam bering)CS1 maint: nomlanmagan davriy nashr (havola) - Antonelli, G. Aldo (Iyun 2001), Ramziy mantiq byulleteni, 7 (2): 270–277, doi:10.2307/2687778, JSTOR 2687778CS1 maint: nomlanmagan davriy nashr (havola)
- Mendelson, E. (2001), Matematik sharhlar, JANOB 1661162CS1 maint: nomlanmagan davriy nashr (havola)
- Avigad, Jeremi (1999 yil dekabr), Falsafa jurnali, 96 (12): 638–642, doi:10.2307/2564698, JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e
Tashqi havolalar
   | Amerikalik matematik haqida ushbu maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |