主题
Search

组合子

1920 年 12 月，M. Schönfinkel 在提交给哥廷根数学学会的报告中，提出了一种新型的形式逻辑，该逻辑基于广义函数的概念，其参数也是函数 (Schönfinkel 1924)。 这一数学学科随后被 Curry 称为组合逻辑，被 Church 称为 “lambda-转换” 或 “lambda-演算”。 组合子可用于代数、拓扑学和范畴论的研究，并在算法语言的程序研究中得到应用。

另请参阅

组合逻辑, Lambda 演算

使用 探索

参考文献

Barendregt, H. P. The Lambda Calculus. Amsterdam, Netherlands: North-Holland, 1981.Curry, H. B. Foundations of Mathematical Logic. New York: Dover, pp. 118-119, 1977.Curry, H. and Feys, R. Combinatory Logic, Vol. 1. Amsterdam, Netherlands: North-Holland, 1958.Hindley, J. R.; Lercher, B.; Seldin, J. P. Introduction to Combinatory Logic. London: Cambridge University Press, 1972.Hindley, J. R. and Seldin, J. P. Introduction to Combinators and lambda-Calculus. Cambridge, England: Cambridge University Press, 1986.Holmes, M. R. "Systems of Combinatory Logic Related to Quine's 'New Foundations.' " Annals Pure Appl. Logic 53, 103-133, 1991.Quine, W. V. "New Foundations for Mathematical Logic." Amer. Math. Monthly 44, 70-80, 1937.Révész, G. E. Lambda-Calculus, Combinators, and Functional Programming. Cambridge, England: Cambridge University Press, 1988.Seldin, J. P. and Hindley, J. R. (Eds.). To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. New York: Academic Press, 1980.Smullyan, R. To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic. New York: Knopf, 1985.Statman, R. "The Word Problem for Smullyan's Lark Combinator Is Decidable." J. Symb. Comput. 7, 103-112, 1989.Schönfinkel, M. "Über die Bausteine der mathematischen Logik." Math. Ann. 92, 305-316, 1924.Schönfinkel, M. "Sur les éléments de construction de la logique mathématique." Math. Inform. Sci. Humaines, No. 112, 5-26 and 59, 1990. [French translation with commentary.]Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, pp. 711-714 and 1121-1123, 2002.Wolfram, S. "Combinators: A Centennial View." Dec. 6, 2020. https://writings.stephenwolfram.com/2020/12/combinators-a-centennial-view/.Wolfram, S. Combinators: A Centennial View. Champaign IL: Wolfram Media, 2021.

在 中引用

组合子

请引用为

Weisstein, Eric W. “组合子。” 来自 —— 资源。 https://mathworld.net.cn/Combinator.html

主题分类