Functionality in combinatory logic
Functionality in combinatory logic
复制标题
DOI：
10.1073/pnas.20.11.584
复制
发表时间：
1934-01-01
影响因子：
11.1
通讯作者：
Curry, HB
中科院分区：
文献类型：
--
作者：
Curry, HB
1.引言--在试图将逻辑和数学的基础分解为它们的元素时，一些人想到，某些通常被认为是原始的概念，可以分析成性质简单得多的成分。在这些概念中，一方面有各种代入过程，以及变量的一般使用；另一方面，逻辑的范畴--如命题、命题函数等--以及我们用来判断哪些实体属于它们的直觉。对于一个与分析这些概念有关的理论，我提出了组合逻辑(AMER)这个名字。你好啊。数学，52,511(1930))。这是
1. Introduction.-In an attempt to resolve the foundations of logic and mathematics into their elements, it has occurred to several persons that certain notions, ordinarily taken as primitive, could be analyzed into constituents of much simpler nature. Among such notions are, on the one hand, various processes of substitution, and the use of variables generally; and, on the other hand, the categories of logic-such as propo-sition, propositional function and the like-together with the intuitions by which we tell what entities belong to them. For a theory concerned with an analysis of these notions I have proposed the name combinatory logic (Amer. Jour. Math., 52, 511 (1930)). This is