学习《组合子逻辑》的现代意义

组合子逻辑的最初思想来源于Schönfinkel（尚芬克尔）1924年的论文《论数理逻辑的基础》。但真正将组合子逻辑发扬光大使其成为现代逻辑、计算基础理论的是Haskell Curry（哈斯凯尔·柯里）。柯里在德国哥廷根大学受希尔伯特指导，完成了博士论文《Grundlagen Der Kombinatorischen Logik》（英译本：Foundatio...>>查看原文