 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.