Fixed points and self-reference (Q1071010): Difference between revisions

Summary: It is shown how Gödel's famous diagonal argument and a generalization of the recursion theorem are derivable from a common construction. The abstract fixed point theorem of this article is independent of both metamathematics and recursion theory and is perfectly comprehensible to the non-specialist.