مسألة هيلبرت الرابعة والعشرون
مسألة هيلبرت الرابعة والعشرون هي مشكلة رياضية لم تنشر كجزء من قائمة ال23 مسألة المعروفة بمسائل هيلبرت ولكن تم تضمينها في ملاحظات ديفيد هيلبرت الأصلية. تطالب المشكلة بمعيار البساطة في البراهين الرياضية وتطوير نظرية الإثبات مع القدرة على إثبات أن دليل معين هو أبسط طريقة ممكنة.[1]
تم اكتشاف المسألة الرابعة والعشرون من قبل المؤرخ الألماني روديجر ثييل في عام 2000، مشيرًا إلى أن هيلبرت لم يتضمن المسألة الرابعة والعشرين في المحاضرة التي عرضت مسائل هيلبرت أو أي نصوص منشورة. كان أصدقاء هيلبرت وزملاؤه الرياضيين أدولف هورويتز وهيرمان مينكوسكي منخرطين بشكل وثيق في المشروع ولكن لم تكن لديهم أي معرفة بهذه المسألة.
المراجع
- ^ Hilbert’s twenty-fourth problem Rüdiger Thiele, American Mathematical Monthly, January 2003 نسخة محفوظة 02 أبريل 2017 على موقع واي باك مشين.