Fixed points and self-reference by Raymond M. Smullyan

“…The abstract fixed point theorem of this article is independent of both metamathematics and recursion theory and is perfectly comprehensible to the non-specialist.…”
Get full text