ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ
ऑर्डिनल्स पर आधारित तर्क प्रणाली गणितज्ञ एलन ट्यूरिंग का पीएचडी शोध प्रबंध था।[1][2] ट्यूरिंग की थीसिस एक नए प्रकार के औपचारिक तर्क के बारे में नहीं है, न ही उन्हें क्रमिक या सापेक्ष संख्या से प्राप्त तथाकथित 'रैंक किए गए तर्क' प्रणालियों में दिलचस्पी थी, जिसमें सापेक्ष सत्यता के आधार पर सत्य-स्थितियों के बीच तुलना की जा सकती है। इसके बजाय, ट्यूरिंग ने जॉर्ज कैंटर की अनंत की विधि का उपयोग करके कर्ट गोडेल अपूर्णता की स्थिति को हल करने की संभावना की जांच की। इस स्थिति को इस प्रकार कहा जा सकता है - स्वयंसिद्धों के सीमित सेट वाली सभी प्रणालियों में, अभिव्यंजक शक्ति और सिद्धता पर एक विशेष-या स्थिति लागू होती है; यानी किसी के पास शक्ति हो सकती है और कोई प्रमाण नहीं, या प्रमाण और कोई शक्ति नहीं, लेकिन दोनों नहीं।
थीसिस गोडेल की अपूर्णता प्रमेय|गोडेल के प्रमेय के बाद औपचारिक गणितीय प्रणालियों की खोज है। गोडेल ने दिखाया कि अंकगणित का प्रतिनिधित्व करने के लिए पर्याप्त शक्तिशाली किसी भी औपचारिक प्रणाली एस के लिए, एक प्रमेय जी है जो सत्य है लेकिन सिस्टम साबित करने में असमर्थ है। G को प्रमाण के स्थान पर सिस्टम में एक अतिरिक्त स्वयंसिद्ध के रूप में जोड़ा जा सकता है। हालाँकि यह एक नई प्रणाली S' बनाएगा जिसका अपना अप्रमाणित सत्य प्रमेय G' होगा, इत्यादि। ट्यूरिंग की थीसिस यह देखती है कि यदि आप इस प्रक्रिया को बार-बार दोहराते हैं, तो क्या होता है, मूल सिद्धांत में जोड़ने के लिए नए स्वयंसिद्धों का एक अनंत सेट उत्पन्न होता है, और यहां तक कि अनंत से आगे जाने के लिए ट्रांसफ़िनिट इंडक्शन#ट्रांसफ़िनिट रिकर्सन का उपयोग करने में एक कदम आगे बढ़ता है, जिससे नए सिद्धांतों का एक सेट प्राप्त होता है जीn, प्रत्येक क्रमिक संख्या 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. |
