سولومون فيفرمان

سولومون فيفرمان ( 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، أمستردام، شمال هولندا.

الكتب

انظر أيضاً

مراجع

  1. "أنظمة طبقية معززة لأسس نظرية الفئات" بقلم سولومون فيفرمان (2011)
  2. 1 2 "سولومون فيفرمان (1928-2016)" .
  3. سولومون فيفرمان في مشروع علم الأنساب الرياضي
  4. "الصفحة الرئيسية لسولومون فيفرمان" . مؤرشفة من الأصل في 24 أكتوبر 2017.
  5. لانيير أندرسون، ر. (4 أغسطس 2016). "تكريمًا لسولومون فيفرمان (1928-2016)" . philosophy.stanford.edu . مؤرشف من الأصل في 11 سبتمبر 2016. تم الاطلاع عليه في 24 يوليو 2021 .
  6. «وفاة عالم المنطق الرياضي بجامعة ستانفورد، سولومون فيفرمان، عن عمر يناهز 87 عامًا» . أخبار ستانفورد . 7 أكتوبر 2016. تم الاطلاع عليه بتاريخ 24 يوليو 2021 .
  7. "في ذكرى الراحلين | الجمعية الرياضية الأمريكية" . www.maa.org . تم الاطلاع عليه بتاريخ 24 يوليو 2021 .
  8. 1 2 تعليقات حول ألفريد تارسكي :
  9. "مؤسسة جون سيمون غوغنهايم | سولومون فيفرمان" .
  10. "منح فيفرمان جائزة رولف شوك في المنطق والفلسفة" .
  11. "محاضرو غودل - رابطة المنطق الرمزي" . مؤرشف من الأصل في 8 نوفمبر 2021. تم الاطلاع عليه في 8 نوفمبر 2021 .
  12. "محاضرات تارسكي | قسم الرياضيات بجامعة كاليفورنيا في بيركلي" . math.berkeley.edu . تم الاطلاع عليه بتاريخ 8 نوفمبر 2021 .
  13. قائمة أعضاء الجمعية الرياضية الأمريكية ، تم استرجاعها في 2 ديسمبر 2012.
  14. مراجعات كتاب " في ضوء المنطق" :