যৌক্তিক সম্পর্কের উত্স কী?

Question

আমার আসলে দুটি প্রশ্ন আছে:

1. শব্দার্থবিজ্ঞানের সাথে সম্পর্কিত হওয়ার জন্য কে প্রথম যৌক্তিক সম্পর্ক ব্যবহার করেছিল?

   আমি তাদের পুনরায় রেনল্ডের " অন ​​রিলেশন বিটুইন বিইন ডাইরেক্ট অ্যান্ড কন্টিনিউশনেশন সেমেন্টিকস "-এ ফিরে পেয়েছি, তবে আমি দাবি করতে পারি না যে একটি বিস্তৃত অনুসন্ধান করেছে।

   যৌক্তিক সম্পর্কের রেফারেন্সগুলি আমি এর আগে খুঁজে পেয়েছি (টাইট, '67), কিন্তু শব্দার্থবিজ্ঞানের সাথে সম্পর্কিত নয়।

2. যৌক্তিক সম্পর্কের জন্য সর্বোত্তম বর্তমান ভূমিকা কী?

আমি টিসিএসের হ্যান্ডবুক থেকে মিচেলের " টাইপ সিস্টেমস ফর প্রোগ্রামিং ল্যাঙ্গুয়েজ " সম্পর্কে জানি । এর বাইরে আর কি আছে?

Comments

প্রোগ্রামিং ভাষার জন্য মিশেলের ফাউন্ডেশনগুলিতে যৌক্তিক সম্পর্ক সম্পর্কিত একটি অধ্যায় রয়েছে । প্রথম পৃষ্ঠার নীচের অংশে প্রধান কাগজপত্রগুলি উদ্ধৃত করে একটি সংক্ষিপ্ত historicalতিহাসিক ওভারভিউ দেওয়া হয়েছে। যদি আপনি মিচেলের বইটিতে হাত না পান তবে আমি এগুলি টাইপ করতে পারতাম।

— ডেভ ক্লার্ক

আমি এতে হাত পেতে পারি, ধন্যবাদ! আমি অফিসে উঠলে আমি একবার দেখে নেব।

— ওহাদ কামার

ঠিক আছে, বইটি হ্যান্ডবুকের অধ্যায়ের চেয়ে অনেক বেশি বিস্তৃত, যদিও এগুলি প্রায় একই উপাদানকে (মাইনাস স্কোনিং, দুঃখের সাথে) কভার করে। Elতিহাসিক নোটগুলি প্রায় অভিন্ন, বইটিতে প্লটকিনের প্রযুক্তিগত প্রতিবেদনের নীচে নীচে প্রদত্ত উল্লেখযোগ্য ব্যতিক্রম রয়েছে।

— ওহাদ কামার

Answer 1

ল্যাম্বডা-স্পষ্টতা এবং যৌক্তিক সম্পর্কের বিষয়ে প্লটকিনের 1973 মেমোটির দ্বিতীয় অনুচ্ছেদ এটি বলে:

"যৌক্তিক [সম্পর্কের] সংজ্ঞাটি এম-গর্ডনের সাথে সম্পর্কিত λ-ক্যালকুলাসের সাথে সম্পর্কিত একটি থেকে উদ্ভূত।"

এটি স্পষ্টভাবে বলতে পারে না যে এই শব্দটি গর্ডন দ্বারা তৈরি করা হয়েছিল। তবে, মেমোটির শিরোনাম "ল্যাম্বডা-স্পষ্টতা এবং যৌক্তিক সম্পর্ক" হিসাবে দেওয়া হয়েছে যেন "যৌক্তিক সম্পর্ক" একটি ইতিমধ্যে পরিচিত ধারণা, এবং দ্বিতীয় অনুচ্ছেদে "নির্দিষ্ট, তথাকথিত , যৌক্তিক সম্পর্কগুলি নির্মাণ করুন" বলে আমি মনে করি এটি খুব সম্ভবত গর্ডন এই শব্দটি তৈরি করেছিলেন এবং প্লটকিন এটি ব্যবহার করেছিলেন। (প্লটকিন আমাকে নিশ্চিত করেছেন যে তিনি মেমোতে যা লিখেছেন তা সঠিক।)

গর্ডন পি এর শীর্ষে আবার জমা দেওয়া হয়। 12,

"এম গর্ডন সম্ভাব্য প্রতিকার হিসাবে প্রস্তাব করেছিলেন যে সম্পর্কগুলি ... বাড়ানো উচিত - কেবল অনুমতি ছাড়াই নয়।"

টু এইচবি কারিতে "সম্পূর্ণ ধরণের শ্রেণিবিন্যাসে" ল্যাম্বডা-স্পষ্টতা " : সম্মিলিত যুক্তি, লাম্বদা ক্যালকুলাস এবং ফর্মালিজমে প্রবন্ধ ) এর প্রকাশিত সংস্করণটির এই মন্তব্য রয়েছে। এটিতে একটি মন্তব্য রয়েছে যা "যৌক্তিক সম্পর্ক" শব্দের ব্যাখ্যা হিসাবে ব্যাখ্যা করা যেতে পারে:

$\lambda$$D$

আমার মতে, যৌক্তিক সম্পর্কগুলি "যৌক্তিক" কেন এটির একটি অত্যন্ত সন্তোষজনক ব্যাখ্যা। লাম্বদা ক্যালকুলাসটি যৌক্তিক এবং তাই, এটির সাথে সংজ্ঞায়িত ফাংশনগুলি বেস ধরণের ক্ষেত্রে একই রকম হবে। বেসের ধরণের মানগুলিতে আমরা যে অনুমান করতে পারি তা তারা "দেখতে" পারে না। এইভাবে দেখা গেছে, গর্ডন এবং প্লটকিন "যৌক্তিক" বলতে যা বোঝায় তা মূলত রেনল্ডসকে "প্যারামেট্রিক" বলে বলেছে।

তবে, "যৌক্তিক সম্পর্ক" শব্দটি কাগজের প্রকাশিত সংস্করণে উপস্থিত হয় না। এই শব্দটি বিভ্রান্তিকর বলে রেফারীরা হয়তো আপত্তি করেছিলেন এবং প্লটকিন এই শব্দটি এড়ানোর জন্য এটি সর্বোত্তম সিদ্ধান্ত নিয়েছেন সম্ভবত। তবে, স্ট্যাটম্যান পুরানো পরিভাষায় ফিরে গেল এবং এই শব্দটি আবার জনপ্রিয় আলোচনায় এসেছে।

Answer 2

প্লটকিন তার অপ্রকাশিত তবে তবুও ব্যাপকভাবে প্রচারিত এবং প্রভাবশালী 1973 পত্রিকায় "ল্যাম্বডা সংজ্ঞা এবং যৌক্তিক সম্পর্ক" পত্রিকায় যৌক্তিক সম্পর্ক ব্যবহার করেছিলেন। আমার ওয়েবপৃষ্ঠায় আমার এই নোটটির একটি অনুলিপি রয়েছে ।

আমি ভাবতাম যে এখান থেকেই নামটি এসেছে, তবে আমি যখন রিক স্ট্যাটম্যানকে এ সম্পর্কে জিজ্ঞাসা করেছি, তিনি আমাকে বলেছিলেন যে মাইক গর্ডন টাইটের পদ্ধতির বর্ণনা দেওয়ার জন্য যৌক্তিক সম্পর্কটির শব্দটি তৈরি করেছিলেন এবং তিনি এবং গর্ডন প্লটকিন এটিকে তাঁর কাছ থেকে তুলেছিলেন। আমি মনে করি এটি কীভাবে প্রোগ্রামিং ভাষার জারগনে প্রবেশ করেছিল, যদিও আপনি প্লটকিনকে জিজ্ঞাসা করে নিশ্চিত করতে পারেন।

Comments

এটি প্রায় সরস টিসিএস গসিপের মতো শোনাচ্ছে।

— ডেভ ক্লার্ক

গর্ডনকে জিজ্ঞাসা করবেন না, কেবল তাকে এই সাইটে অংশ নিতে বাধ্য করুন, যেমন আমি দানার সাথে করেছিলাম।

— আন্দ্রেজ বাউর

ঠিক আছে, আমি গর্ডন প্লটকিন এবং মাইক গর্ডন উভয়কেই জিজ্ঞাসা করেছি। উভয়ই একমত যে গর্ডন প্লটকিন 'যৌক্তিক সম্পর্ক' শব্দটি তৈরি করেছিলেন এবং প্রত্যেকে দাবি করেছিলেন যে সম্পর্কগুলি ব্যবহার করার ধারণাটি একে অপর থেকে এসেছে।

— ওহাদ কামার

— গান্ডির

@ ওহাদকামার: প্লটকিনের "সম্পূর্ণ ধরণের শ্রেণিবিন্যাসে ল্যাম্বডা-দৃ defin়তা" হাওয়ার্ডকে এই বলে যথাযথ কৃতিত্ব দেয় যে "হাওয়ার্ড তার বংশগতভাবে মেজরিজেবল ফাংশনস [ট্রো]" সংজ্ঞায়নের জন্যও ব্যবহার করেছিলেন। উদ্ধৃতিটি কোনও বইয়ের কাছে, তবে হাওয়ার্ডের একমাত্র অধ্যায়টি পরিশিষ্ট, "সীমাবদ্ধ ধরণের ofতিহ্যগতভাবে মেজরিজেবল ফাংশনগুলি": download.springer.com/static/pdf/314/… ( link.springer.com/book/10.1007 থেকে % 2FBFb0066739 )।

— ব্লেসরব্ল্যাড