Source: wikibot/kleene-rosser-paradox
= Kleene–Rosser paradox
{wiki=Kleene–Rosser_paradox}
The Kleene–Rosser paradox is a result in the field of mathematical logic, particularly in the area of recursion theory and the foundations of mathematics. It highlights an issue related to self-reference in formal systems, specifically in the context of lambda calculus and computable functions. The paradox arises when considering certain systems that attempt to define or represent computable functions.