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

{{Short description|Doctoral thesis written by Alan Turing}}
{{DISPLAYTITLE:''Systems of Logic Based on Ordinals''}}

'''ऑर्डिनल्स पर आधारित तर्क प्रणाली''' [[गणितज्ञ]] [[एलन ट्यूरिंग]] का पीएचडी शोध प्रबंध था।<ref name="turingphd">{{cite thesis |degree=PhD |first=Alan|last=Turing |title=ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ|publisher=Princeton University |date=1938 |doi=10.1112/plms/s2-45.1.161|author-link=Alan Turing|id={{ProQuest|301792588}}|hdl=21.11116/0000-0001-91CE-3|hdl-access=free}}</ref><ref>{{Cite journal | last1 = Turing | first1 = A. M. | author-link = Alan Turing| title = ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ| doi = 10.1112/plms/s2-45.1.161 | journal = Proceedings of the London Mathematical Society | pages = 161–228 | year = 1939 | hdl = 21.11116/0000-0001-91CE-3 | hdl-access = free }}</ref>ट्यूरिंग की थीसिस नए प्रकार के औपचारिक तर्क के विषय में नहीं है, न ही उन्हें क्रमिक या सापेक्ष संख्या से प्राप्त तथाकथित 'रैंक किए गए तर्क' प्रणालियों में अभिरुचि थी, जिसमें सापेक्ष सत्यता के आधार पर सत्य-स्थितियों के मध्य तुलना की जा सकती है। इसके अतिरिक्त, ट्यूरिंग ने [[जॉर्ज कैंटर]] की अनंत की विधि का उपयोग करके गोडेलियन अपूर्णता की स्थिति को हल करने की संभावना का परिक्षण किया। इस स्थिति को इस प्रकार कहा जा सकता है, कि स्वयंसिद्धों के सीमित समूह वाली सभी प्रणालियों में, अभिव्यंजक शक्ति और सिद्धता पर विशेष स्थिति प्रारम्भ होती है; अर्थात किसी के पास शक्ति हो सकती है और कोई प्रमाण नहीं, या प्रमाण और कोई शक्ति नहीं, किन्तुन दोनों नहीं है।

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

थीसिस [[अलोंजो चर्च]] के तहत प्रिंसटन में पूरी हुई और यह गणित में एक उत्कृष्ट कार्य था जिसने [[क्रमिक तर्क]] की अवधारणा को पेश किया।<ref>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</ref>
[[मार्टिन डेविस (गणितज्ञ)]] का कहना है कि यद्यपि ट्यूरिंग द्वारा [[ओरेकल मशीन]] का उपयोग शोध प्रबंध का प्रमुख फोकस नहीं है, यह [[सैद्धांतिक कंप्यूटर विज्ञान]] में अत्यधिक प्रभावशाली साबित हुआ है, उदाहरण के लिए [[बहुपद समय पदानुक्रम]] में.<ref>[[Martin Davis (mathematician)|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 [https://books.google.com/books?id=K3xBKR2HiT8C&dq=oracle+hypercomputation+copeland&pg=PA65]</ref>


==संदर्भ==
{{Reflist}}


==बाहरी संबंध==
* 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
* {{cite web | url=http://www.princeton.edu/turing/alan/dissertation/ | title=Turing's Princeton Dissertation | publisher=Princeton University Press | access-date=January 10, 2012}} 
* {{citation | url=http://math.stanford.edu/~feferman/papers/turingnotices.pdf | title=Turing's Thesis
 | author = Solomon Feferman | journal = Notices of the AMS | volume=53 | issue=10 | date = November 2006 }}
[[Category: तर्क का इतिहास]] [[Category: औपचारिक तर्क की प्रणाली]] [[Category: एलन ट्यूरिंग]] [[Category: क्रमसूचक संख्या]] [[Category: गणित के पेपर]] 

{{mathlogic-stub}}
{{mathematics-lit-stub}}



[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]