2
Apakah mungkin untuk memutuskan
Saya tahu itu tidak mungkin untuk memutuskan equivalence untuk kalkulus lambda yang tidak diketik. Mengutip Barendregt, HP The Lambda Calculus: Sintaks dan Semantiknya. Holland Utara, Amsterdam (1984). :ββ\beta Jika A dan B terpisah, seperangkat istilah lambda yang ditutup berdasarkan kesetaraan, maka A dan B tidak dapat dipisahkan secara rekursif. Oleh …