ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ
ऑर्डिनल्स पर आधारित तर्क प्रणाली गणितज्ञ एलन ट्यूरिंग का पीएचडी शोध प्रबंध था।[1][2]ट्यूरिंग की थीसिस नए प्रकार के औपचारिक तर्क के विषय में नहीं है, न ही उन्हें क्रमिक या सापेक्ष संख्या से प्राप्त तथाकथित 'रैंक किए गए तर्क' प्रणालियों में अभिरुचि थी, जिसमें सापेक्ष सत्यता के आधार पर सत्य-स्थितियों के मध्य तुलना की जा सकती है। इसके अतिरिक्त, ट्यूरिंग ने जॉर्ज कैंटर की अनंत की विधि का उपयोग करके गोडेलियन अपूर्णता की स्थिति का निवारण करने की संभावना का परिक्षण किया है। इस स्थिति को इस प्रकार कहा जा सकता है, कि स्वयंसिद्धों के सीमित समूह वाली सभी प्रणालियों में, अभिव्यंजक शक्ति एवं सिद्धता पर विशेष स्थिति प्रारम्भ होती है; अर्थात किसी के पास शक्ति हो सकती है एवं कोई प्रमाण नहीं, या प्रमाण एवं कोई शक्ति नहीं, किन्तु दोनों नहीं है।
थीसिस गोडेल की अपूर्णता प्रमेय गोडेल के प्रमेय के पश्चात औपचारिक गणितीय प्रणालियों का शोध कि है। गोडेल ने दिखाया कि अंकगणित का प्रतिनिधित्व करने के लिए पर्याप्त शक्तिशाली किसी भी औपचारिक प्रणाली S के लिए, प्रमेय G है, जो सत्य है किन्तु प्रणाली प्रमाणित करने में असमर्थ है। G को प्रमाण के स्थान पर प्रणाली में अतिरिक्त स्वयंसिद्ध के रूप में जोड़ा जा सकता है। चूंकि यह नई प्रणाली S' बनाएगा, जिसका अपना अप्रमाणित सत्य प्रमेय G' होगा, इत्यादि। ट्यूरिंग की थीसिस यह देखती है, कि यदि आप इस प्रक्रिया को पुनः दोहराते हैं, तो क्या होता है, मूल सिद्धांत में जोड़ने के लिए नए स्वयंसिद्धों का अनंत समूह उत्पन्न होता है, एवं यहां तक कि अनंत से आगे जाने के लिए ट्रांसफ़िनिट रिकर्सन का उपयोग करने में एक कदम आगे बढ़ता है, जिससे नए समूह मिलते हैं, सिद्धांत Gn प्रत्येक क्रमिक संख्या n के लिए थीसिस अलोंजो चर्च के अनुसार प्रिंसटन में पूर्ण हुई एवं यह गणित में उत्कृष्ट कार्य था, जिसने क्रमिक तर्क की अवधारणा को प्रस्तुत किया था।[3]मार्टिन डेविस (गणितज्ञ) का कहना है, कि यद्यपि ट्यूरिंग द्वारा ओरेकल मशीन का उपयोग शोध प्रबंध का प्रमुख केंद्र नहीं है, यह सैद्धांतिक कंप्यूटर विज्ञान में अत्यधिक प्रभावशाली प्रमाणित हुआ है, उदाहरण के लिए बहुपद समय पदानुक्रम में होता है।[4]
संदर्भ
- ↑ Turing, Alan (1938). ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ (PhD thesis). Princeton University. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3. ProQuest 301792588.
- ↑ Turing, A. M. (1939). "ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ". Proceedings of the London Mathematical Society: 161–228. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3.
- ↑ Solomon Feferman, Turing in the Land of O(z) in "The universal Turing machine: a half-century survey" by Rolf Herken 1995 ISBN 3-211-82637-8 page 111
- ↑ Martin Davis "Computability, Computation and the Real World", in Imagination and Rigor edited by Settimo Termini 2006 ISBN 88-470-0320-2 pages 63-66 [1]
बाहरी संबंध
- 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
- "Turing's Princeton Dissertation". Princeton University Press. Retrieved January 10, 2012.
- Solomon Feferman (November 2006), "Turing's Thesis" (PDF), Notices of the AMS, 53 (10)
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
 | This article about a mathematical publication is a stub. You can help Wikipedia by expanding it. |
