क्या किसी को पता है कि सिस्टम "एफ" और सिस्टम "टी" नाम कहां से आते हैं? मैं यह नहीं पूछ रहा हूं कि उन नामों (गिरार्ड सिस्टम एफ, और गोडेल सिस्टम टी) को किसने पेश किया, लेकिन "एफ" और "टी" का क्या अर्थ है।
क्या किसी को पता है कि सिस्टम "एफ" और सिस्टम "टी" नाम कहां से आते हैं? मैं यह नहीं पूछ रहा हूं कि उन नामों (गिरार्ड सिस्टम एफ, और गोडेल सिस्टम टी) को किसने पेश किया, लेकिन "एफ" और "टी" का क्या अर्थ है।
जवाबों:
मैंने इसे TYPES में पोस्ट किया, लेकिन इसकी शायद यहाँ भी नकल करने लायक है:
"पंद्रह साल बाद चर प्रकार के सिस्टम एफ" में, गिरार्ड ने टिप्पणी की कि एफ नाम के लिए कोई विशेष कारण नहीं था:
हालांकि, [3] में यह दिखाया गया था कि इस प्रणाली के लिए रूपांतरण के स्पष्ट नियम, जिन्हें एफ द्वारा संयोग से कहा जाता है, परिवर्तित कर रहे थे।
उनकी थीसिस में एक और व्याख्या हो सकती है, लेकिन मैंने इसे पढ़ा नहीं है क्योंकि दुर्भाग्य से मैं फ्रेंच में धाराप्रवाह नहीं हूं।
हालाँकि, जब से मैं जर्मन में अर्ध-साक्षर हूं, मैंने गोडेल के पेपर "chber eine noch nicht benüzte Erweiterung des finiten Standpunktes" पर एक नज़र डाली, जहां सिस्टम टी (और इसके लिए डायलेक्टिया व्याख्या) पेश किया गया था। वह इस प्रणाली को अलग से एक पैतृक नाम देता है:
दास हेइस्ट्स्ट डाई असिओम डीज़ेस सिस्टम्स (एस वेर्ड टी जेननेट) सिंड फॉर्मल फास्ट डीज़लबेन वाई डाई डाई प्राइमिटिव रेकरसिवेन ज़हलेंथेरी [...] [1]
हालांकि, पिछला पृष्ठ और आधा सिस्टम टी के प्रकार की संरचना के बारे में बात करते हुए बिताए गए थे, इसलिए यह अनुमान लगाना उचित है कि टी "प्रकार" के लिए खड़ा है। लेकिन, प्रिंट में कोई स्पष्ट कारण नहीं दिया गया है।
[१] "इसका मतलब है कि इस प्रणाली के स्वयंसिद्ध (डब किए गए टी) लगभग आदिम पुनरावर्ती संख्या सिद्धांत के समान हैं [...]"