مارتن ديفيس (عالم رياضيات)

📅 آخر تحديث: ٢٢ يوليو ٢٠٢٦
✍️ نُشر في: ٢٢ يوليو ٢٠٢٦
📷 يحتوي على 1 صور
الموسوعة الحرة

كان مارتن ديفيد ديفيس (8 مارس 1928 - 1 يناير 2023) عالم رياضيات وعلوم حاسوب أمريكيًا أسهم في مجالي نظرية الحوسبة والمنطق الرياضي . وقد أدى عمله على المسألة العاشرة لهيلبرت إلى نظرية MRDP . كما ساهم في تطوير نموذج ما بعد تورينج ، وشارك في تطوير خوارزمية ديفيس-بوتنام-لوجمان-لوفلاند (DPLL) ، التي تُعد أساسية لحلول مسائل الإرضاء المنطقي .

فاز ديفيس بجائزة ليروي ب. ستيل ، وجائزة شوفينيه (بالاشتراك مع روبن هيرش )، وجائزة ليستر ر. فورد . وكان زميلاً في الأكاديمية الأمريكية للفنون والعلوم وزميلاً في الجمعية الرياضية الأمريكية .

الحياة المبكرة والتعليم

كان والدا ديفيس مهاجرين يهوديين إلى الولايات المتحدة من مدينة وودج البولندية ، وتزوجا بعد لقائهما مجددًا في مدينة نيويورك. وُلد ديفيس في مدينة نيويورك في 8 مارس 1928. نشأ في حي برونكس ، حيث شجعه والداه على إكمال تعليمه. [ 1 ] [ 2 ] تخرج من مدرسة برونكس الثانوية للعلوم المرموقة عام 1944، ثم حصل على درجة البكالوريوس في الرياضيات من كلية سيتي عام 1948، ودرجة الدكتوراه من جامعة برينستون عام 1950. [ 3 ] أشرف على أطروحته للدكتوراه، بعنوان " حول نظرية عدم قابلية الحل التكراري "، عالم الرياضيات وعلوم الحاسوب الأمريكي ألونسو تشيرش . [ 1 ] [ 2 ] [ 4 ]

المسيرة الأكاديمية

خلال فترة عمله كمدرس مساعد في جامعة إلينوي في أوربانا-شامبين في أوائل الخمسينيات، انضم إلى مختبر أنظمة التحكم وأصبح من أوائل مبرمجي نظام ORDVAC . [ 1 ] عمل لاحقًا في مختبرات بيل ومؤسسة راند قبل انضمامه إلى جامعة نيويورك . [ 1 ] خلال فترة عمله في جامعة نيويورك، ساهم في تأسيس قسم علوم الحاسوب بالجامعة. تقاعد من جامعة نيويورك عام 1996. [ 3 ] [ 1 ] ثم أصبح عضوًا في هيئة التدريس الزائرة بجامعة كاليفورنيا، بيركلي . [ 5 ]

المسألة العاشرة لهيلبرت

بدأ ديفيس العمل على المسألة العاشرة لهيلبرت خلال أطروحته للدكتوراه، بالتعاون مع ألونسو تشيرش. تنص النظرية، كما طرحها عالم الرياضيات الألماني ديفيد هيلبرت ، على السؤال التالي: هل توجد خوارزمية، عند إعطاء معادلة ديوفانتية ، قادرة على تحديد ما إذا كانت هذه المعادلة قابلة للحل؟ [ 1 ] وقد طرح ديفيس في أطروحته فرضية مفادها أن المسألة غير قابلة للحل. في خمسينيات وستينيات القرن العشرين، أحرز ديفيس، بالتعاون مع عالمي الرياضيات الأمريكيين هيلاري بوتنام وجوليا روبنسون ، تقدمًا نحو حل هذه الفرضية. واكتمل برهان الفرضية أخيرًا عام 1970 بفضل عمل عالم الرياضيات الروسي يوري ماتياسيفيتش . وقد أسفر ذلك عن نظرية MRDP أو DPRM ، التي سُميت نسبةً إلى ديفيس وبوتنام وروبنسون وماتياسيفيتش. [ 1 ] في وصفه للمشكلة، ذكر ديفيس سابقًا أنه وجدها "جذابة بشكل لا يقاوم" عندما كان طالبًا جامعيًا، ثم أصبحت تدريجيًا "هاجسه مدى الحياة". [ 6 ]

مساهمات أخرى

تعاون ديفيس مع بوتنام وجورج لوغيمان ودونالد دبليو لوفلاند عام 1961 لتقديم خوارزمية ديفيس-بوتنام-لوغيمان-لوفلاند (DPLL) ، وهي خوارزمية بحث كاملة تعتمد على التراجع لتحديد قابلية إرضاء صيغ المنطق الافتراضي في الصيغة الاقترانية العادية ، أي لحل مشكلة CNF-SAT . [ 7 ] كانت هذه الخوارزمية تحسينًا لخوارزمية ديفيس-بوتنام السابقة ، وهي إجراء قائم على الاستدلال طوره ديفيس وبوتنام عام 1960. [ 8 ] [ 9 ] تُعد هذه الخوارزمية أساسية في بنية حلول قابلية إرضاء المنطق البولياني السريعة. [ 6 ]

إلى جانب عمله في نظرية الحوسبة ، قدم ديفيس إسهاماتٍ كبيرة في مجالي التعقيد الحسابي والمنطق الرياضي . [ 1 ] [ 6 ] [ 10 ] كما اشتهر ديفيس بنموذجه لآلات ما بعد تورينج . [ 3 ]

في عام 1974، فاز ديفيس بجائزة ليستر آر. فورد لكتاباته التوضيحية المتعلقة بعمله على المسألة العاشرة لهيلبرت، [ 2 ] [ 11 ] وفي عام 1975 فاز بجائزة ليروي بي. ستيل وجائزة شوفينيه (بالاشتراك مع روبن هيرش ). [ 12 ] أصبح زميلًا في الأكاديمية الأمريكية للفنون والعلوم عام 1982، [ 2 ] وفي عام 2013، اختير كواحد من الزملاء المؤسسين للجمعية الرياضية الأمريكية . [ 13 ]

يُعتبر كتاب ديفيس "الحسابية وعدم القابلية للحل" الصادر عام 1958 مرجعًا كلاسيكيًا في علوم الحاسوب النظرية ، بينما يتتبع كتابه "الحاسوب الشامل" الصادر عام 2000 تطور وتاريخ الحوسبة، من غوتفريد فيلهلم لايبنتز إلى آلان تورينج . [ 1 ] أما كتابه "غير القابل للتقرير "، الذي نُشرت طبعته الأولى عام 1965، فهو عبارة عن مجموعة من المسائل غير القابلة للحل والدوال القابلة للحساب . [ 6 ]

الحياة والموت

كان ديفيس متزوجًا من فيرجينيا وايتفورد بالمر، وهي فنانة نسيج. التقى الزوجان خلال إقامتهما في منطقة أوربانا-شامبين ، وتزوجا عام ١٩٥١. [ ١٤ ] : ٨ أنجبا طفلين. [ ٣ ] عاش الزوجان في بيركلي، كاليفورنيا ، بعد تقاعده. [ ١ ]

توفي ديفيس في الأول من يناير عام 2023 عن عمر يناهز 94 عامًا. [ 15 ] وتوفيت زوجته في اليوم نفسه بعد عدة ساعات. [ 16 ]

منشورات مختارة

الكتب

مقالات

انظر أيضاً

مراجع

  1. 1 2 3 4 5 6 7 8 9 10 جاكسون، ألين (سبتمبر 2007)، "مقابلة مع مارتن ديفيس" (ملف PDF) ، إشعارات الجمعية الرياضية الأمريكية ، المجلد 55، العدد 5، بروفيدنس، رود آيلاند: الجمعية الرياضية الأمريكية (نُشر في مايو 2008)، الصفحات 560-571 ، الرقم الدولي الموحد للدوريات 0002-9920 ، رمز OCLC 1480366     .
  2. 1 2 3 4 أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "مارتن ديفيس (عالم رياضيات)" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
  3. 1 2 3 4 "مارتن ديفيس - سيرة ذاتية" . تاريخ الرياضيات . تم الاطلاع عليه في 8 يناير 2023 .
  4. ↑ مارتن ديفيس في مشروع علم الأنساب الرياضي
  5. ↑ "مارتن ديفيس | قسم الرياضيات بجامعة كاليفورنيا في بيركلي" . math.berkeley.edu . تم الاطلاع عليه بتاريخ 8 يناير 2023 .
  6. ١ ٢ ٣ ٤ مارتن ديفيس حول الحوسبة، والمنطق الحسابي، والأسس الرياضية . مساهمات بارزة في المنطق. المجلد ١٠. ٢٠١٦. doi : 10.1007/978-3-319-41842-1 . ISBN  978-3-319-41841-4.
  7. ↑ "علوم الحاسوب - جامعة تكساس CS395T، ربيع 2011" (PDF) .
  8. ↑ "خوارزمية ديفيس-بوتنام" . hellenicaworld.com . تم الاطلاع عليه بتاريخ 8 يناير 2023 .
  9. ↑ "خوارزمية DPLL - تعلم المنطق لعلوم الحاسوب" . logic4free.informatik.uni-kiel.de . تم الاطلاع عليه بتاريخ 8 يناير 2023 .
  10. ↑ "عناوين جديدة وجديرة بالذكر على رفوف مكتبتنا" (ملف PDF) . الجمعية الأمريكية للرياضيات - إشعارات الجمعية الأمريكية للرياضيات . 1 ديسمبر 2017. ص 1327. تم الاطلاع عليه في 7 يناير 2023 . 
  11. ↑ ديفيس، مارتن (1973). "مسألة هيلبرت العاشرة غير قابلة للحل" . المجلة الأمريكية للرياضيات الشهرية . 80 (3): 233-269 . doi : 10.2307/2318447 . JSTOR 2318447 . 
  12. ↑ ديفيس، مارتن؛ هيرش، روبن (1973). "مشكلة هيلبرت العاشرة". مجلة ساينتفك أمريكان . 229 (5). سبرينغر ساينس آند بيزنس ميديا ​​ذ.م.م: 84-91 . رمز Bibcode : 1973SciAm.229e..84D . doi : 10.1038/scientificamerican1173-84 . ISSN 0036-8733 . 
  13. ↑ قائمة أعضاء الجمعية الرياضية الأمريكية . تم الاطلاع عليها في 17 مارس 2014.
  14. ↑ Omodeo, EG, & Policriti, A., eds., Martin Davis on Computability, Computational Logic, and Mathematical Foundations ( Berlin / Heidelberg : Springer , 2016), p. 8 .
  15. ↑ "مارتن ديفيد ديفيس" . دار جنازات هاريس . تم الاطلاع عليه في 4 يناير 2023 .
  16. ↑ "تخليداً لذكرى مارتن وفيرجينيا ديفيس" . تم الاطلاع عليه بتاريخ 8 يناير 2023 .