Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Kleene Rosser Paradox
CHF 43.15
Auf Lager
SKU
M9ILNIPG22N
1 Verfügbar 
Geliefert zwischen Do., 22.01.2026 und Fr., 23.01.2026
Details
In mathematics, the Kleene Rosser paradox is a paradox that shows Church's original lambda calculus is inconsistent. It is similar to Russell's paradox, in that it is a statement that asserts its own falsehood if and only if it is true; that is, it is a self-negating statement. The paradox was developed by Stephen Kleene and J. B. Rosser in 1935, to show that the lambda calculus was inconsistent. The resolution of the paradox is the recognition that recursion is central and fundamental to the notion of computation. See self-reference for some examples about how recursion can lead to paradoxes.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130707958
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- EAN 9786130707958
- Format Fachbuch
- Titel Kleene Rosser Paradox
- Herausgeber Alphascript Publishing
- Anzahl Seiten 76
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
