Kleene–Rosser paradox
id:
kleene-rosser-paradox-236-8511653
title:
Kleene–Rosser paradox
text:
In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Haskell Curry's combinatory logic introduced in 1930, and Alonzo Church's original lambda calculus, introduced in 1932–1933, both originally intended as systems of formal logic. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935.
brand slug:
wiki
category slug:
encyclopedia
description:
Paradox that shows that certain systems of formal logic are inconsistent
original url:
https://en.wikipedia.org/wiki/Kleene%E2%80%93Rosser_paradox
date created:
date modified:
2023-01-30T18:30:48Z
main entity:
{"identifier":"Q6420095","url":"https://www.wikidata.org/entity/Q6420095"}
image:
fields total:
13
integrity:
14