Kleene Rosser Paradox

by Alphascript Publishing
Condition: New
VAT included - FREE Shipping
Alphascript Publishing Kleene Rosser Paradox
Alphascript Publishing - Kleene Rosser Paradox

Do you like this product? Spread the word!

$32.82 incl. VAT
Only 1 items available Only 1 items available More than 10 pieces available
Delivery: between Tuesday, July 5, 2022 and Thursday, July 7, 2022
Sales & Shipping: Dodax


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.

Further information

Number of Pages:
Miller, Frederic P.
Vandome, Agnes F.
McBrewster, John
Media Type:
Alphascript Publishing

Master Data

Product Type:
Paperback book
Package Dimensions:
0.23 x 0.15 x 0.01 m; 0.127 kg
We use cookies on our website to make our services more efficient and more user-friendly. Therefore please select "Accept cookies"! Please read our Privacy Policy for further information.