2
কেন λ-ক্যালকুলাস অনুকূল মূল্যায়নকারী সূত্রগুলি ছাড়াই বৃহত মডুলার এক্সপেনসেন্টেশনের গণনা করতে সক্ষম?
চার্চ নম্বরগুলি ফাংশন হিসাবে প্রাকৃতিক সংখ্যার একটি এনকোডিং। (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 ঝরঝরেভাবে, আপনি কেবল চার্চের সংখ্যাগুলি প্রয়োগ করে …