Hilbert's twenty-fourth problem
ہلبرٹ کا چوبیسویں مسئلہ ایک ریاضیاتی مسئلہ ہے جسے 23 مسائل کی فہرست کے حصے کے طور پر شائع نہیں کیا گیا تھا جسے ہلبرٹ کے مسائل کے نام سے جانا جاتا ہے لیکن اسے ڈیوڈ ہلبرٹ کے اصل نوٹوں میں شامل کیا گیا تھا۔ مسئلہ ریاضیاتی ثبوتوں میں سادگی کا معیار اور ثبوت کے نظریہ کی ترقی کا مطالبہ کرتا ہے جس میں یہ ثابت کرنے کی طاقت ہوتی ہے کہ دیا ہوا ثبوت سب سے آسان ممکن ہے۔ 24 واں مسئلہ جرمن مورخ روڈیگر تھیلی نے 2000 میں دوبارہ دریافت کیا، اس بات کو نوٹ کرتے ہوئے کہ ہلبرٹ نے ہلبرٹ کے مسائل یا کسی بھی شائع شدہ متن کو پیش کرنے والے لیکچر میں 24 واں مسئلہ شامل نہیں کیا۔ ہلبرٹ کے دوست اور ساتھی ریاضی دان ایڈولف ہروٹز اور ہرمن منکووسکی اس منصوبے میں قریب سے شامل تھے لیکن انہیں اس مسئلے کا کوئی علم نہیں تھا۔ یہ ہلبرٹ کے نوٹ کا مکمل متن ہے جو روڈیگر تھیلی کے مقالے میں دیا گیا ہے۔ اس حصے کا ترجمہ روڈیگر تھیلی نے کیا تھا۔ 2002 میں، تھیلی اور لیری ووس نے ہلبرٹ کے چوبیسویں مسئلے پر ایک مضمون شائع کیا جس میں خودکار استدلال، منطق اور ریاضی کے مختلف مسائل سے اس کے تعلق کے بارے میں بحث کی گئی۔ حوالہ جات 24