ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ

ऑर्डिनल्स पर आधारित तर्क प्रणाली गणितज्ञ एलन ट्यूरिंग का पीएचडी शोध प्रबंध था। ट्यूरिंग की थीसिस नए प्रकार के औपचारिक तर्क के विषय में नहीं है, न ही उन्हें क्रमिक या सापेक्ष संख्या से प्राप्त तथाकथित 'रैंक किए गए तर्क' प्रणालियों में अभिरुचि थी, जिसमें सापेक्ष सत्यता के आधार पर सत्य-स्थितियों के मध्य तुलना की जा सकती है। इसके अतिरिक्त, ट्यूरिंग ने जॉर्ज कैंटर की अनंत की विधि का उपयोग करके गोडेलियन अपूर्णता की स्थिति को हल करने की संभावना का परिक्षण किया। इस स्थिति को इस प्रकार कहा जा सकता है, कि स्वयंसिद्धों के सीमित समूह वाली सभी प्रणालियों में, अभिव्यंजक शक्ति और सिद्धता पर विशेष स्थिति प्रारम्भ होती है; अर्थात किसी के पास शक्ति हो सकती है और कोई प्रमाण नहीं, या प्रमाण और कोई शक्ति नहीं, किन्तुन दोनों नहीं है।

थीसिस गोडेल की अपूर्णता प्रमेय|गोडेल के प्रमेय के बाद औपचारिक गणितीय प्रणालियों की खोज है। गोडेल ने दिखाया कि अंकगणित का प्रतिनिधित्व करने के लिए पर्याप्त शक्तिशाली किसी भी औपचारिक प्रणाली एस के लिए, एक प्रमेय जी है जो सत्य है किन्तुन सिस्टम साबित करने में असमर्थ है। G को प्रमाण के स्थान पर सिस्टम में एक अतिरिक्त स्वयंसिद्ध के रूप में जोड़ा जा सकता है। हालाँकि यह एक नई प्रणाली S' बनाएगा जिसका अपना अप्रमाणित सत्य प्रमेय G' होगा, इत्यादि। ट्यूरिंग की थीसिस यह देखती है कि यदि आप इस प्रक्रिया को बार-बार दोहराते हैं, तो क्या होता है, मूल सिद्धांत में जोड़ने के लिए नए स्वयंसिद्धों का एक अनंत समूह उत्पन्न होता है, और यहां तक ​​कि अनंत से आगे जाने के लिए ट्रांसफ़िनिट इंडक्शन#ट्रांसफ़िनिट रिकर्सन का उपयोग करने में एक कदम आगे बढ़ता है, जिससे नए सिद्धांतों का एक समूह प्राप्त होता है जीn, प्रत्येक क्रमिक संख्या n के लिए एक।

थीसिस अलोंजो चर्च के तहत प्रिंसटन में पूरी हुई और यह गणित में एक उत्कृष्ट कार्य था जिसने क्रमिक तर्क की अवधारणा को पेश किया। मार्टिन डेविस (गणितज्ञ) का कहना है कि यद्यपि ट्यूरिंग द्वारा ओरेकल मशीन का उपयोग शोध प्रबंध का प्रमुख फोकस नहीं है, यह सैद्धांतिक कंप्यूटर विज्ञान में अत्यधिक प्रभावशाली साबित हुआ है, उदाहरण के लिए बहुपद समय पदानुक्रम में.

बाहरी संबंध

 * https://rauterberg.employee.id.tue.nl/lecturenotes/DDM110%20CAS/Turing/Turing-1939%20Sysyems%20of%20logic%20based%20on%20ordinals.pdf
 * https://www.dcc.fc.up.pt/~acm/turing-phd.pdf
 * https://web.archive.org/web/20121023103503/https://webspace.princeton.edu/users/jedwards/Turing%20Centennial%202012/Mudd%20Archive%20files/12285_AC100_Turing_1938.pdf