سولومون فيفرمان
سولومون فيفرمان ( 13 ديسمبر 1928 - 26 يوليو 2016) [ 2 ] فيلسوف ورياضي أمريكي ، تخصص في المنطق الرياضي . إلى جانب أعماله التقنية الغزيرة في نظرية البرهان ، ونظرية الحوسبة ، ونظرية المجموعات ، اشتهر بمساهماته في تاريخ المنطق (على سبيل المثال، من خلال كتاباته السيرية عن شخصيات مثل كورت غودل ، وألفريد تارسكي ، وجان فان هيجينورت ) ، وبكونه مدافعًا قويًا عن فلسفة الرياضيات المعروفة باسم التنبؤية ، لا سيما من منظور مناهض للأفلاطونية .
حياة
وُلد سولومون فيفرمان في حي برونكس بمدينة نيويورك لعائلة من الطبقة العاملة هاجرت إلى الولايات المتحدة بعد الحرب العالمية الأولى، والتقت وتزوجت في نيويورك. لم يحصل أي من والديه على تعليم عالٍ. انتقلت العائلة إلى لوس أنجلوس، حيث تخرج فيفرمان من المدرسة الثانوية في سن السادسة عشرة.
حصل على بكالوريوس العلوم من معهد كاليفورنيا للتكنولوجيا عام ١٩٤٨، وفي عام ١٩٥٧ حصل على الدكتوراه في الرياضيات من جامعة كاليفورنيا، بيركلي ، تحت إشراف ألفريد تارسكي ، [ ٣ ] بعد أن تم تجنيده وخدم في الجيش الأمريكي من عام ١٩٥٣ إلى عام ١٩٥٥. في عام ١٩٥٦، عُيّن في قسمي الرياضيات والفلسفة بجامعة ستانفورد ، حيث أصبح لاحقًا أستاذًا للعلوم الإنسانية والعلوم الطبيعية، حاملًا كرسي باتريك سوبس . وبينما أمضى معظم حياته المهنية في ستانفورد، فقد عمل أيضًا كباحث ما بعد الدكتوراه في معهد الدراسات المتقدمة في برينستون ، وأستاذًا زائرًا في معهد ماساتشوستس للتكنولوجيا ، وزميلًا زائرًا في جامعة أكسفورد ( كلية وولفسون وكلية أول سولز ). [ ٤ ]
توفي فيفرمان في 26 يوليو 2016 في منزله في ستانفورد ، بعد صراع مع المرض دام ثلاثة أشهر وإصابته بجلطة دماغية . [ 2 ] [ 5 ] [ 6 ] وكان عند وفاته عضواً في الجمعية الرياضية الأمريكية لمدة 37 عاماً. [ 7 ]
المساهمات
كان فيفرمان رئيس تحرير الأعمال الكاملة لكورت غودل المكونة من خمسة مجلدات ، والتي نشرتها مطبعة جامعة أكسفورد بين عامي 2001 و 2013.
في عام 2004، نشر بالاشتراك مع زوجته أنيتا بوردمان فيفرمان سيرة ذاتية لألفريد تارسكي بعنوان " ألفريد تارسكي: الحياة والمنطق" . [ 8 ]
تأثراً بكتابات هيرمان فايل ، عمل على الرياضيات التنبؤية . وعلى وجه الخصوص، قدم الترتيب فيفرمان-شوت كمقياس لقوة بعض الأنظمة التنبؤية.
تعرُّف
حصل فيفرمان على زمالات غوغنهايم في عامي 1972 و1986 [ 9 ] وجائزة رولف شوك في المنطق والفلسفة عام 2003. [ 10 ] دُعي لإلقاء محاضرة غودل عام 1997 [ 11 ] ومحاضرات تارسكي عام 2006. [ 12 ] وفي عام 2012، أصبح زميلًا في الجمعية الرياضية الأمريكية . [ 13 ]
المنشورات
أوراق
- Feferman, Solomon; Vaught, Robert L. (1959), "The first order properties of products of algebraic systems", Fund. Math. 47, 57–103.
- فيفرمان، سولومون (1975)، "لغة وبديهيات للرياضيات الصريحة"، الجبر والمنطق (المعهد الصيفي الرابع عشر للبحوث، الجمعية الرياضية الأسترالية، جامعة موناش، كلايتون، 1974)، ص 87-139، سلسلة محاضرات في الرياضيات، المجلد 450، برلين، سبرينغر.
- فيفرمان، سولومون (1979)، "النظريات البنائية للوظائف والفئات"، ندوة المنطق 78 (مونس، 1978) ، ص 159-224، دراسات في أسس المنطق والرياضيات، 97، أمستردام، نيويورك، نورث هولاند.
- Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "التعريفات الاستقرائية المتكررة والأنظمة الفرعية للتحليل: دراسات حديثة في نظرية البرهان"، Lecture Notes in Mathematics ، 897، برلين، نيويورك، Springer-Verlag.
- Feferman, Solomon; Hellman, Geoffrey (1995), "الأسس التنبؤية للحساب"، J. Philos. Logic 24 (1)، 1–17.
- Avigad, Jeremy ; Feferman, Solomon (1998), " تفسير غودل الوظيفي ( الجدل )"، كتيب نظرية البرهان ، 337-405، Stud. Logic Found. Math.، 137، أمستردام، شمال هولندا.
الكتب
- فيفرمان، سولومون (1964) أنظمة الأعداد، أسس الجبر والتحليل، أديسون ويسلي. رقم فهرس مكتبة الكونغرس 63-12470
- فيفرمان، سولومون. (1998). في ضوء المنطق . مطبعة جامعة أكسفورد. ISBN 0-19-508030-0سلسلة المنطق والحساب في الفلسفة. [ 14 ]
- فيفرمان، أنيتا بيردمان؛ فيفرمان، سولومون (2004). ألفريد تارسكي: الحياة والمنطق . مطبعة جامعة كامبريدج . ISBN 978-0-521-80240-6. OCLC 54691904 . [ 8 ]
انظر أيضاً
مراجع
- ↑ "أنظمة طبقية معززة لأسس نظرية الفئات" بقلم سولومون فيفرمان (2011)
- 1 2 "سولومون فيفرمان (1928-2016)" .
- ↑ سولومون فيفرمان في مشروع علم الأنساب الرياضي
- ↑ "الصفحة الرئيسية لسولومون فيفرمان" . مؤرشفة من الأصل في 24 أكتوبر 2017.
- ↑ لانيير أندرسون، ر. (4 أغسطس 2016). "تكريمًا لسولومون فيفرمان (1928-2016)" . philosophy.stanford.edu . مؤرشف من الأصل في 11 سبتمبر 2016. تم الاطلاع عليه في 24 يوليو 2021 .
- ↑ «وفاة عالم المنطق الرياضي بجامعة ستانفورد، سولومون فيفرمان، عن عمر يناهز 87 عامًا» . أخبار ستانفورد . 7 أكتوبر 2016. تم الاطلاع عليه بتاريخ 24 يوليو 2021 .
- ↑ "في ذكرى الراحلين | الجمعية الرياضية الأمريكية" . www.maa.org . تم الاطلاع عليه بتاريخ 24 يوليو 2021 .
- 1 2 تعليقات حول ألفريد تارسكي :
- دوبين، جوزيف دبليو (2005)، المراجعات الرياضية ، م.ر .2095748
{{citation}}: CS1 maint: untitled periodical ( link ) - أنيليس، إيرفينغ هـ. ( 2005)، "مراجعة" ، مراجعة المنطق الحديث ، 10 ( 1-2 ): 117-130
- ديفيس، فيليب جيه. (مارس 2005)، "حياة المنطق ولا منطق الحياة" ، أخبار SIAM
- ديفيس، مارتن (مارس-أبريل 2005)، "الرجل الذي حدد الحقيقة"، العالم الأمريكي ، 93 (2): 175-177 ، JSTOR 27858554
- شيل-جيلاش، إيمي (مايو 2005)، "مراجعة" ، مراجعات جمعية المؤلفين الأمريكيين
- ميسيونا ، كريستينا (مايو 2005)، تاريخ وفلسفة المنطق ، 26 (2): 166–168 ، دوى : 10.1080/01445340412331313602 ، S2CID 216590845
{{citation}}: CS1 maint: untitled periodical ( link ) - مندلسون ، إليوت (يونيو 2005)، فلسفة الرياضيات ، 13 (2): 231–232 ، دوى : 10.1093/philmat/nki020
{{citation}}: CS1 maint: untitled periodical ( link ) - كيلميستر، سي دبليو (يوليو 2005)، المجلة الرياضية ، 89 (515): 330-331 ، doi : 10.1017/S0025557200177988 ، JSTOR 3621256 ، S2CID 171454519
{{citation}}: CS1 maint: untitled periodical ( link ) - شميت، روجر (خريف 2005)، أرشيف الفلسفة ، 68 (3): 546-547 ، JSTOR 43038344
{{citation}}: CS1 maint: untitled periodical ( link ) - مادكس، روجر د. (ديسمبر 2005)، نشرة المنطق الرمزي ، 11 (4): 535-540 ، doi : 10.1017/S1079898600003000 ، JSTOR 3396716 ، S2CID 124002889
{{citation}}: CS1 maint: untitled periodical ( link ) - كيبرنيتس ، 35 (1/2)، يناير 2006، دوى : 10.1108/k.2006.06735aae.002
{{citation}}: CS1 maint: untitled periodical ( link ) - ليسكان، بيير (مارس 2006)، أخبار ACM SIGACT ، 37 (1): 27، doi : 10.1145/1122480.1122489 ، S2CID 9529607
{{citation}}: CS1 maint: untitled periodical ( link ) - كارنيلي، والتر (مارس 2006)، المنطق والفلسفة المنطقية ، 15 (1)، doi : 10.12775/llp.2006.005
{{citation}}: CS1 maint: untitled periodical ( link ) - وود، كارول (أبريل 2006)، المجلة الرياضية الأمريكية الشهرية ، 113 (4): 377-379 ، doi : 10.2307/27641942 ، JSTOR 27641942
{{citation}}: CS1 maint: untitled periodical ( link ) - أوبردان، توماس (يونيو 2006)، إيزيس ، 97 (2): 362–363 ، دوى : 10.1086/507375 ، JSTOR 10.1086/507375
{{citation}}: CS1 maint: untitled periodical ( link ) - غراتان-غينيس، إيفور (سبتمبر 2006)، المجلة البريطانية لتاريخ العلوم ، 39 (3): 469-470 ، doi : 10.1017/S0007087406438681 ، JSTOR 4028507
{{citation}}: CS1 maint: untitled periodical ( link ) - أبت، كريستوف ر. (مارس 2007)، "ألفريد تارسكي: الحياة والمنطق"، مجلة الرياضيات الذكية ، 29 (2): 78-80 ، doi : 10.1007/bf02986214 ، S2CID 189883846
- سيناسور، حورية بينيس (سبتمبر 2007)، "مراجعة" (ملف PDF) ، إشعارات الجمعية الرياضية الأمريكية ، 54 ( 8): 986-989
- باسولس، أليخاندرو توماسيني (أبريل 2006)، الناقد: Revista Hispanoamericana de Filosofía ، 38 (112): 105–111 ، JSTOR 40104969
{{citation}}: CS1 maint: untitled periodical ( link ) - براون، سكوت هـ. (مارس 2009)، معلم الرياضيات ، 102 (7): 558، JSTOR 20876430
{{citation}}: CS1 maint: untitled periodical ( link ) - بريمر، مانويل (ديسمبر 2009)، "مراجعة" ، مجلة الفلسفة في المراجعة ، 29 (6): 404
- نيرود، أنيل (مارس 2010)، المجلة الرياضية الأمريكية الشهرية ، 117 (3): 286-288 ، doi : 10.4169/000298910x480144 ، JSTOR 10.4169/000298910x480144 ، S2CID 218549336
{{citation}}: CS1 maint: untitled periodical ( link ) - تشيرنيكا-ريج، بوزنيا (2011)، Roczniki Filozoficzne ، 59 (1): 79–84 ، JSTOR 43408916
{{citation}}: CS1 maint: untitled periodical ( link )
- دوبين، جوزيف دبليو (2005)، المراجعات الرياضية ، م.ر .2095748
- ↑ "مؤسسة جون سيمون غوغنهايم | سولومون فيفرمان" .
- ↑ "منح فيفرمان جائزة رولف شوك في المنطق والفلسفة" .
- ↑ "محاضرو غودل - رابطة المنطق الرمزي" . مؤرشف من الأصل في 8 نوفمبر 2021. تم الاطلاع عليه في 8 نوفمبر 2021 .
- ↑ "محاضرات تارسكي | قسم الرياضيات بجامعة كاليفورنيا في بيركلي" . math.berkeley.edu . تم الاطلاع عليه بتاريخ 8 نوفمبر 2021 .
- ↑ قائمة أعضاء الجمعية الرياضية الأمريكية ، تم استرجاعها في 2 ديسمبر 2012.
- ↑ مراجعات كتاب " في ضوء المنطق" :
- أفيغاد، جيريمي (ديسمبر 1999)، " [ بدون عنوان ] " ، مجلة الفلسفة ، 96 (12): 638-642 ، doi : 10.2307/2564698 ، JSTOR 2564698
- أنتونيللي، جي. ألدو (يونيو 2001)، نشرة المنطق الرمزي ، 7 (2): 270-277 ، doi : 10.2307/2687778 ، JSTOR 2687778 ، S2CID 122751203
{{citation}}: CS1 maint: untitled periodical ( link ) - مندلسون، إي. (2001)، المراجعات الرياضية ، MR 1661162
{{citation}}: CS1 maint: untitled periodical ( link )
روابط خارجية
- الموقع الرسمي لجامعة ستانفورد . مؤرشف من الأصل بتاريخ 24 أكتوبر 2017. تم الاطلاع عليه بتاريخ 15 فبراير 2026 .
- مواليد عام 1928
- علماء الرياضيات الأمريكيون في القرن الحادي والعشرين
- علماء المنطق الأمريكيون
- علماء يهود أمريكيون
- فلاسفة يهود أمريكيون
- علماء المنطق الرياضي
- أنصار نظرية البرهان
- مؤرخو الرياضيات الأمريكيون
- خريجو جامعة كاليفورنيا، بيركلي
- الفائزون بجائزة رولف شوك
- أعضاء هيئة التدريس بقسم الفلسفة في جامعة ستانفورد
- أعضاء هيئة التدريس بقسم الرياضيات في جامعة ستانفورد
- فلاسفة الرياضيات الأمريكيون
- زملاء الجمعية الرياضية الأمريكية
- وفيات عام 2016
- اليهود الأمريكيون في القرن الحادي والعشرين
- علماء الرياضيات الأمريكيون في القرن العشرين
