सिस्टम एफ और सिस्टम टी नाम


9

क्या किसी को पता है कि सिस्टम "एफ" और सिस्टम "टी" नाम कहां से आते हैं? मैं यह नहीं पूछ रहा हूं कि उन नामों (गिरार्ड सिस्टम एफ, और गोडेल सिस्टम टी) को किसने पेश किया, लेकिन "एफ" और "टी" का क्या अर्थ है।

जवाबों:


8

मैंने इसे TYPES में पोस्ट किया, लेकिन इसकी शायद यहाँ भी नकल करने लायक है:

  1. "पंद्रह साल बाद चर प्रकार के सिस्टम एफ" में, गिरार्ड ने टिप्पणी की कि एफ नाम के लिए कोई विशेष कारण नहीं था:

    हालांकि, [3] में यह दिखाया गया था कि इस प्रणाली के लिए रूपांतरण के स्पष्ट नियम, जिन्हें एफ द्वारा संयोग से कहा जाता है, परिवर्तित कर रहे थे।

    उनकी थीसिस में एक और व्याख्या हो सकती है, लेकिन मैंने इसे पढ़ा नहीं है क्योंकि दुर्भाग्य से मैं फ्रेंच में धाराप्रवाह नहीं हूं।

  2. हालाँकि, जब से मैं जर्मन में अर्ध-साक्षर हूं, मैंने गोडेल के पेपर "chber eine noch nicht benüzte Erweiterung des finiten Standpunktes" पर एक नज़र डाली, जहां सिस्टम टी (और इसके लिए डायलेक्टिया व्याख्या) पेश किया गया था। वह इस प्रणाली को अलग से एक पैतृक नाम देता है:

    दास हेइस्ट्स्ट डाई असिओम डीज़ेस सिस्टम्स (एस वेर्ड टी जेननेट) सिंड फॉर्मल फास्ट डीज़लबेन वाई डाई डाई प्राइमिटिव रेकरसिवेन ज़हलेंथेरी [...] [1]

    हालांकि, पिछला पृष्ठ और आधा सिस्टम टी के प्रकार की संरचना के बारे में बात करते हुए बिताए गए थे, इसलिए यह अनुमान लगाना उचित है कि टी "प्रकार" के लिए खड़ा है। लेकिन, प्रिंट में कोई स्पष्ट कारण नहीं दिया गया है।

    [१] "इसका मतलब है कि इस प्रणाली के स्वयंसिद्ध (डब किए गए टी) लगभग आदिम पुनरावर्ती संख्या सिद्धांत के समान हैं [...]"


2
मैंने सिर्फ गिरार्ड की थीसिस में जाँच की : वह "सिस्टेम फोनेशनलाइन" (कार्यात्मक प्रणाली) के बारे में बोलता है, लेकिन कभी भी "सिस्टम एफ" का उल्लेख नहीं करता है। इसलिए, जो संभवत: हुआ वह यह कि उसने बाद में नाम छोटा कर दिया।
अलेजांद्रो डीसी

3
@AlejandroDC यद्यपि वह परिकल्पना प्रशंसनीय लगती है, FYI करें कि लिंक पूर्ण थीसिस नहीं है, सिर्फ बिट्स और टुकड़ों के रूप में केविन वाटकिंस द्वारा हस्तांतरित किया गया है । (मैंने मूल की एक प्रति नहीं देखी है।)
नोआम ज़िलबर्गर
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.