Zusammenfassung
Vergegenwärtigen wir uns noch einmal, was „kombinatorische Algebra“ bedeutet: Für jeden Term t(x1,…, xn) gibt es ein Element T in B, so dass für beliebige M1,…, Mn ∈ B gilt
die Rechenvorschrift t wird zu einem Objekt T konkretisiert. Es liegt in der Natur der Sache, dass wir bei Anwendungen immer wieder von einem Term t zu einem Objekt T übergehen werden. Dabei ist es etwas unbequem, dass es zu t möglicherweise recht viele verschiedene T gibt. Hier ist ein einfaches Beispiel. Wir haben seinerzeit einen Kombinator Ḭ gebraucht mit der Eigenschaft Ḭ · N = N für alle N.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturhinweise zu Kapitel III, §4
Barendregt, H.P.: “The Lambda Calculus, its Syntax and Semantics”, Studies in Logic 103, Amsterdam, North-Holland, 1981.
Church, A.: “The Calculi of Lambda-Conversion”, Princeton, NJ, Princeton University Press, 1941.
Scott, D.S.: “Lambda calculus: some models, some philosophy”, in: Barwise et al.: “The Kleene Symposium”, Studies in Logic 101, S. 381–421, Amsterdam, North-Holland, 1980.
Scott, D.S.: “Relating theories of the λ-calculus”, in: Seldin et al.: “To H.B. Curry; Essays on Combinatory Logic, Lambda Calculus and Formalism”, S. 403–450, New York, Academic Press, 1980.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Engeler, E. (1983). Lambda-Kalkül. In: Metamathematik der Elementarmathematik. Hochschultext. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68929-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-68929-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12151-0
Online ISBN: 978-3-642-68929-1
eBook Packages: Springer Book Archive