Historical and Philosophical Background
Part of the
Progress in Theoretical Computer Science
book series (PTCS)
In the fall of 1928 a young American turned up at the Mathematical Institute of Göttingen, a mecca of mathematicians at the time; he was a young man with a dream and his name was H. B. Curry. He felt that he had the tools in hand with which to solve the problem of foundations of mathematics once and for all. His was an approach that came to be called “formalist” and embodied a technique that later became known as Combinatory Logic. Closest to his ideas was the work of Schönfinkel on the “building blocks of mathematical logic” [Sch24], and the man who best knew about this was Bernays, the main collaborator of Hilbert at Göttingen on the latter’s foundational programme. This is why Curry went there to submit his thesis [Cur30].
KeywordsAlgebraic Structure Universal Algebra Combinatory Model Combinatory Logic Lambda Calculus
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Barendregt, H.P., The Lambda Calculus
, North-Holland, Amsterdam, 1984.zbMATHGoogle Scholar
Church, A., The Calculi of Lambda-Conversion
, Princeton University Press, Princeton, N.J., 1941.Google Scholar
Curry, H. B., Grundlagen der kombinatorischen Logik, Amer. J. Math
, (1930), 509-536; 789–834.MathSciNetzbMATHCrossRefGoogle Scholar
D88] Dedekind, R., Was sind und was sollen die Zahlen? In Gesammelte Werke
(1888?), 335–391.Google Scholar
Engeler, E., Foundations of Mathematics
, Springer-Verlag, Berlin and New York, 1993.zbMATHGoogle Scholar
Kleene, S. C., λ-definability and recursiveness, Duke Math. J.
(1936), 344–353.MathSciNetCrossRefGoogle Scholar
Rice, H. G., Classes of recursively enumerable sets and their decision problems, Trans. Am. Math. Soc.
(1953), 358–366.MathSciNetzbMATHCrossRefGoogle Scholar
Schonfinkel, M., Über die Bausteine der mathematischen Logik, Mathem. Annalen
(1924), 305–316.MathSciNetCrossRefGoogle Scholar