Martin Davis
Martin Davis · التكنولوجيا والهندسة
دافيس، رياضياتي أمريكي وُلد لمهاجرين يهوديين من بولندا، قام بعمل تأسيسي في نظرية القابلية للحوسبة والمنطق الرياضي.
1928, مدينة نيويورك, الولايات المتحدة — 2023, بيركلي, كاليفورنيا, الولايات المتحدة
الولايات المتحدة
دافيس، رياضياتي أمريكي وُلد لمهاجرين يهوديين من بولندا، قام بعمل تأسيسي في نظرية القابلية للحوسبة والمنطق الرياضي. وكان مساهماً محورياً في حل مسألة هيلبرت العاشرة، مبرهناً أنه لا خوارزمية يمكنها البتّ فيما إذا كانت معادلة ديوفانتية اعتباطية لها حلول صحيحة (مبرهنة دافيس-بوتنام-روبنسون-ماتياسِفيتش). وغدت خوارزميته 'دافيس-بوتنام' أيضاً حجر أساس في البرهنة الآلية للنظريات وحلّالات SAT الحديثة.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jews in Computer Science
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
دافيس، رياضياتي أمريكي وُلد لمهاجرين يهوديين من بولندا، قام بعمل تأسيسي في نظرية القابلية للحوسبة والمنطق الرياضي.
المصدر: Jinfo.org — Jews in Computer Science
مساهمون مشابهون
Hilary Putnam
Avi Wigderson
Leslie Lamport
Richard Karp
Alfred Tarski
