Saat ini saya membaca " Lambda-Calculus and Combinators " oleh Hindley dan Seldin. Saya bukan ahli, tetapi selalu tertarik pada kalkulus lambda karena keterlibatan dengan pemrograman fungsional (dimulai dengan Lisp dan SICP, dan sekarang dengan R dan Haskell). Dalam " Binary Lambda Calculus and...
Kompleksitas kelas PPAD (misalnya, menghitung berbagai kesetimbangan Nash) dapat didefinisikan sebagai sekumpulan masalah pencarian total yang dapat direduksi menjadi polytime menjadi END OF THE LINE : END OF THE LINE : Sirkuit yang diberikan S dan P dengan n bit input dan n bit output sedemikian...
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...
Saya mencari kombinator universal terkecil yang mungkin , diukur dengan jumlah abstraksi dan aplikasi yang diperlukan untuk menentukan kombinator tersebut dalam kalkulus lambda . Contoh-contoh kombinator universal meliputi: ukuran 23: λf.f (fS (KKKI)) K ukuran 18: λf.f (fS (KK)) K ukuran 14:...
Saya telah memikirkan pertanyaan-pertanyaan ini: Apakah ada kalkulus lambda yang diketik yang konsisten dan Turing lengkap? /cs/65003/if-%CE%BBxxx-has-a-type-then-is-the-type-system-inconsistent dan sudah ada beberapa pertanyaan yang sulit dijawab terkait dalam pengaturan yang tidak diketik !...
Ini terinspirasi oleh pertanyaan ini . Misalkan adalah kumpulan semua kombinator yang hanya memiliki dua variabel terikat. Apakah C lengkap secara kombinasi?CC\mathcal{C}CC\mathcal{C} Saya percaya jawabannya negatif, namun saya tidak dapat menemukan referensi untuk ini. Saya juga akan tertarik...
Saya telah tertarik pada berbagai topik seperti Combinatory Logic, Lambda Calculus, Functional Programming untuk sementara waktu dan telah mempelajarinya. Namun, tidak seperti "Theory of Computation" yang berusaha menjawab pertanyaan "computability" yaitu, hal-hal yang dapat / tidak dapat dihitung...
Terinspirasi oleh pertanyaan ini , saya ingin tahu apakah ada strategi pengurangan untuk kombinator SKI yang tidak dikenal yang dikenal sebagai normalisasi atau abadi. Seperti dijelaskan di sini (Twelfed here ), aturan nondeterminstic dari kalkulus combinator adalah sebagai berikut: sayax →...