ল্যাম্বডা ক্যালকুলাসটি টিউরিংয়ের মেশিন মডেলের চেয়ে পুরনো, স্পষ্টতই ১৯২৮-১৯২৯ (সেলডিন 2006) সময় থেকে শুরু হয়েছিল এবং চার্চের যে পরিকল্পনা তৈরি করেছিলেন তার ভিত্তিগত যৌক্তিকতার জন্য চার্চের প্রয়োজনীয় পরিকল্পনার ধারণার সজ্জিত করার জন্য এটি আবিষ্কার করা হয়েছিল। এটি গণনাযোগ্য ফাংশনের সাধারণ ধারণাটি ক্যাপচার জন্য আবিষ্কার করা হয়নি, এবং প্রকৃতপক্ষে একটি দুর্বল টাইপিত সংস্করণ তার উদ্দেশ্যগুলি আরও ভালভাবে পরিবেশন করতে পারে।
এটি ক্যালকুলাস চার্চ আবিষ্কার করেছিলেন যে উদ্দেশ্যটির সাথে সম্পর্কিত হয়েছিল বলে মনে হয় এটি টিউরিং সম্পূর্ণরূপে পরিণত হয়েছিল, যদিও পরবর্তীকালে চার্চ ল্যাম্বডা ক্যালকুলাসকে তার ভিত্তি হিসাবে ব্যবহার করেছিলেন কার্যকর কার্যকরভাবে গণনীয় কার্য ( ১৯৩ called ), যা টুরিং তার কাগজে আবেদন করেছিলেন। ।
চার্চের সাধারণ ধরণের তত্ত্ব (1940) আরও বেশি সংযত, টাইপড ফাংশনগুলির তত্ত্ব প্রদান করে যা উচ্চতর-আদেশের যুক্তির বাক্য গঠনটির পক্ষে যথেষ্ট তবে সমস্ত পুনরাবৃত্ত ক্রিয়াকলাপ প্রকাশ করে না। এই তত্ত্বটি চার্চের মূল অনুপ্রেরণার সাথে সঙ্গতিপূর্ণ হিসাবে দেখা যেতে পারে।
তথ্যসূত্র
- গির্জা (1936)। প্রাথমিক সংখ্যা তত্ত্বের একটি অবিশ্বাস্য সমস্যা। গণিতের আমেরিকান জার্নাল 58: 345—363।
- গির্জা (1940)। প্রকারের সাধারণ তত্ত্বের একটি সূত্র । সিম্বলিক লজিক 5 (2) এর জার্নাল : 56-68।
- সেলডিন (2006)। কারি এবং গির্জার যুক্তি । ইন লজিক ইতিহাস হ্যান্ডবুক, vol.5: লজিক রাসেল থেকে চার্চ , পি। 819-874। উত্তর-হল্যান্ড: আমস্টারডাম।
দ্রষ্টব্য এই উত্তরটি কাভে এবং সাশোর আপত্তির কারণে যথেষ্ট পরিমাণে সংশোধিত হয়েছে। কাভাহ যে উইকিপিডিয়া টাইমলাইনের পরামর্শ দিয়েছিলেন, আমি তার প্রস্তাব দিয়েছি, চার্চের ইতিহাস – টুরিং থিসিস , যার অন্তর্ভুক্ত নিবন্ধগুলির কয়েকটি পছন্দসই উদ্ধৃতি রয়েছে।