আমি কিছু সময়ের জন্য কম্বিনেটরি লজিক, ল্যাম্বদা ক্যালকুলাস, ফাংশনাল প্রোগ্রামিংয়ের মতো বিভিন্ন বিষয়ে আগ্রহী এবং সেগুলি অধ্যয়ন করছি। তবে, "থিওরি অফ কম্পিউটিশন" এর বিপরীতে যা "গণনাযোগ্যতা" প্রশ্নের উত্তর দেওয়ার চেষ্টা করে অর্থাত্ যে বিষয়গুলি বিভিন্ন বাধার সাথে তুলনা করা যায় / করা যায় না, আমি "থিওরি অফ প্রোগ্রামিং" এর এনালগটি খুঁজে পেতে লড়াই করছি
উইকিপিডিয়া এটিকে বর্ণনা করে:
প্রোগ্রামিং ল্যাঙ্গুয়েজ থিয়োরি (পিএলটি) কম্পিউটার বিজ্ঞানের একটি শাখা যা প্রোগ্রামিং ভাষার নকশা, বাস্তবায়ন, বিশ্লেষণ, চরিত্রায়ন এবং শ্রেণিবদ্ধকরণ এবং তাদের স্বতন্ত্র বৈশিষ্ট্যগুলির সাথে সম্পর্কিত।
এটি "সবকিছু" বলার মতো যা সত্যই নির্দিষ্ট নয়।
বিষয়গুলির সাধারণ অগ্রগতি সাধারণত এমন হয়:
সংযুক্ত যুক্তি> ল্যাম্বদা ক্যালকুলাস> মার্টিন লফ টাইপ থিওরি> টাইপড ল্যাম্বদা ক্যালকুলাস> (এখানে কিছু ঘটে)> প্রোগ্রামিং ভাষার বিকাশ হয়েছে - যার সিএল / ল্যাম্বদার সাথে খুব কম সংযোগ রয়েছে
আমি সিএল / সাথে জড়িত অন্তর্নিহিত "গণিত" এবং চার্চ-রোজার উপপাদ্য সহ ফলস্বরূপ প্রকাশিত আকর্ষণীয় প্রমাণগুলি দেখতে পাচ্ছি এবং এটি পরিষ্কার। যাইহোক, আমি এই সমস্ত উদ্যোগের "শেষ লক্ষ্য" বোঝার জন্য লড়াই করছি? পিএলটি- র পবিত্র কচুকাটি যদি আপনি করেন? আপাতত মনে হচ্ছে এটি কেবল একটি বৌদ্ধিক চুলকানি স্ক্র্যাচ করে চলেছে তবে আমি গবেষণা / তত্ত্ব থেকে ব্যবহারিক কোনও কিছুতেই সত্যিই ব্রিজটি পার করতে পারি না।
নোট: আমি এটি ব্যবহার পর্যন্ত পেতে পারি undecidability প্রমাণাদি জন্য -calc। তবে "গণনাযোগ্যতা" এর প্রয়োগযোগ্যতার বাইরে আমি কেবল এটি পাই না এবং এই সংকীর্ণ পিওভের কাছ থেকে পিএলটি-তে গবেষণার প্রয়োজনীয়তা বোঝার জন্যও আমি খুব কঠিন সময় কাটাচ্ছি। কোনও বিদ্যমান বই, উল্লেখ যা পিএলটি-র "বড় ছবি" আলো ফেলতে পারে?