সিস্টেম "এফ" এবং সিস্টেম "টি" নামগুলি কোথা থেকে এসেছে তা কি কেউ জানেন? আমি জিজ্ঞাসা করছি না কে এই নামগুলি (জিরার্ড সিস্টেম এফ, এবং গডেল সিস্টেম টি) প্রবর্তন করেছে, তবে "এফ" এবং "টি" এর অর্থ কী।
সিস্টেম "এফ" এবং সিস্টেম "টি" নামগুলি কোথা থেকে এসেছে তা কি কেউ জানেন? আমি জিজ্ঞাসা করছি না কে এই নামগুলি (জিরার্ড সিস্টেম এফ, এবং গডেল সিস্টেম টি) প্রবর্তন করেছে, তবে "এফ" এবং "টি" এর অর্থ কী।
উত্তর:
আমি এটি টাইপগুলিতে পোস্ট করেছি, তবে এটি সম্ভবত এখানে অনুলিপি করাও উপযুক্ত:
"পনের বছর পরে" সিস্টেমের এফ পরিবর্তনশীল ধরণে ", জিরার্ড মন্তব্য করেছিলেন যে এফ নামের কোনও নির্দিষ্ট কারণ নেই:
যাইহোক, [3] এ দেখা গেছে যে এই ব্যবস্থাটির রূপান্তরগুলির সুস্পষ্ট নিয়মগুলি, এফ নামে পরিচিত, রূপান্তরিত করে।
তাঁর থিসিসে আরও একটি ব্যাখ্যা থাকতে পারে, তবে দুর্ভাগ্যক্রমে আমি ফরাসী ভাষায় সাবলীল নই যেহেতু আমি এটি পড়িনি।
তবে, যেহেতু আমি জার্মান ভাষায় আধা-সাক্ষর, তাই আমি গ্যাডেলের কাগজ "Über eine noch nicht benüzte Erweiterung des Finiten standpunktes", যেখানে সিস্টেম টি (এবং এর জন্য ডায়ালিকিয়া ব্যাখ্যা) প্রবর্তিত হয়েছিল তা একবার দেখেছিলাম। তিনি এই ব্যবস্থার নাম রেখেছেন পিতৃতান্ত্রিক একদিকে:
দাস হাইজস্ট ডাই অক্সিওম ডায়েস সিস্টেমস (এস ওয়ার্ড টি জেন্যান্ট) সিন্ড ফর্মাল ডিজেলবেন ওয়াই ডাই ডের ডেম প্রিমিটিভ রেখারসিভেন জাহলেথেরি [...] [1]
যাইহোক, পূর্ববর্তী পৃষ্ঠা এবং অর্ধটি সিস্টেম টি এর ধরণের কাঠামো সম্পর্কে কথা বলতে ব্যয় করেছিল, সুতরাং এটি অনুমান করা যুক্তিসঙ্গত যে টি "টাইপস" হিসাবে দাঁড়িয়েছে। তবে, প্রিন্টে কোনও স্পষ্ট কারণ দেওয়া হয়নি।
[1] "এর অর্থ এই সিস্টেমের অক্ষগুলি (ডাবিড টি) আদিম পুনরাবৃত্ত সংখ্যার তত্ত্বের মতো প্রায় একই [...]"