معضلة هيلبرت العاشرة

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

معضلة هيلبرت العاشرة (بالإنجليزية: Hilbert's tenth problem)‏ هي المعضلة العاشرة من لائحة مسائل هيلبرت الموضوعة عام 1900.[1][2][3] نصها كالآتي :

لتكن معادلة ديوفانتية ما، عدد مجاهيلها هو عدد ما، ومعاملاتها أعداد جذرية. هناك عملية ما تمكن من تحديد ما إذا كانت هذه المعادلة تقبل حلولا جذرية من عدمه، وذلك في عدد منته من الخطوات.

المعادلة الديوفانتية هي كل معادلة تكون على الشكل التالي:

p(x1,x2,,xn)=0,

على سبيل المثال، المعادلة الديوفانتية 3x22xyy2z7=0 لها الحلول الصحيحة x=1,y=2,z=2. بينما المعادلة الديوفانتية x2+y2+1=0 لا حلول صحيحة لها.

معضلة هيلبرت العاشرة حلت وحلها هو النفي: لا وجود لهذه الخوارزمية العامة. عمل على هذا البرهان كل من مارتن ديفيس ويوري ماتياسفيتش وهيلاري بوتنام وجوليا روبنسون. امتد هذا العمل لمدة واحد وعشرين سنة، وأتمه ماتياسفيتش عام 1970. تعرف المبرهنة الآن باسم مبرهنة ماتياسفيتش.

التاريخ

مراجع

  1. ^ "معلومات عن معضلة هيلبرت العاشرة على موقع idref.fr". idref.fr. مؤرشف من الأصل في 2020-10-26.
  2. ^ "معلومات عن معضلة هيلبرت العاشرة على موقع d-nb.info". d-nb.info. مؤرشف من الأصل في 2020-10-26.
  3. ^ "معلومات عن معضلة هيلبرت العاشرة على موقع catalogue.bnf.fr". catalogue.bnf.fr. مؤرشف من الأصل في 2020-10-26.

وصلات خارجية