Hilbert's twenty-fourth problem
हिल्बर्ट की चौबीसवीं समस्या एक गणितीय समस्या है जिसे हिल्बर्ट की समस्याओं के रूप में जानी जाने वाली 23 समस्याओं की सूची के हिस्से के रूप में प्रकाशित नहीं किया गया था, लेकिन डेविड हिल्बर्ट के मूल टिप्पणियों में शामिल किया गया था। समस्या गणितीय प्रमाणों में सरलता की कसौटी और यह साबित करने की शक्ति के साथ एक प्रमाण सिद्धांत के विकास के लिए कहती है कि दिया गया प्रमाण सबसे सरल संभव है। 24वीं समस्या को जर्मन इतिहासकार रुडिगर थिएल ने 2000 में फिर से खोजा था, यह देखते हुए कि हिल्बर्ट ने हिल्बर्ट की समस्याओं या किसी भी प्रकाशित ग्रंथ को प्रस्तुत करने वाले व्याख्यान में 24वीं समस्या को शामिल नहीं किया था। हिल्बर्ट के दोस्त और साथी गणितशास्त्री एडॉल्फ हर्विट्ज़ और हर्मन मिन्कोव्स्की इस परियोजना में निकटता से शामिल थे, लेकिन उन्हें इस समस्या का कोई ज्ञान नहीं था। यह रुडिगर थिएल के पेपर में दिए गए हिल्बर्ट के नोट्स का पूरा पाठ है। इस खंड का अनुवाद रुडिगर थिएले ने किया था। 2002 में, थिएल और लैरी वॉस ने हिल्बर्ट की चौबीसवीं समस्या पर एक लेख प्रकाशित किया जिसमें स्वचालित तर्क, तर्क और गणित के विभिन्न मुद्दों से इसके संबंध के बारे में चर्चा की गई थी। संदर्भ 24