Release Message: Certain systems of formal logic are inconsistent. Authored by Stephen Kleene and J. B. Roser.
Description: In mathematics, the Kleene-Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Curry's combinatory logic introduced in 1930, and 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.