中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Kleene–Rosser paradox
来自维基百科,自由的百科全书
Found in articles
有趣数字悖论
邱奇-图灵论题 哥德尔不完备定理 格雷灵–尼尔森悖论(英语:Grelling–Nelson
paradox
) 克莱尼–罗瑟悖论(英语:
Kleene
–
Rosser
paradox
) 悖论列表 理查德悖论 《有关新奇,有趣的数字的企鹅词典(英语:The Penguin Dictionary
斯蒂芬·科尔·克莱尼
斯蒂芬·科尔·克莱尼(英語:Stephen Cole
Kleene
,1909年1月5日—1994年1月25日)是一名美國數學家、逻辑學家,主要从事對可計算函數的研究,而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻,克莱尼層次結構、克莱尼代数、克莱尼星号(克莱尼閉
朴素集合论
53., No. 4. (1946), p. 210 and Laszlo Kalmar's review of The
Paradox
of
Kleene
and
Rosser
in Journal of Symbolic Logic, 11, No. 4. (1946), p. 136. (JSTOR)
Λ演算
但最初的λ演算系统被证明是逻辑上不自洽的——在1935年斯蒂芬·科尔·克莱尼和J. B.
Rosser
举出了
Kleene
-
Rosser
悖论(英语:
Kleene
–
Rosser
paradox
)。 随后,在1936年邱奇把那个版本的关于计算的部分抽出独立发表—现在这被称为无类型λ演算。