Fixed points and self-reference
From MaRDI portal
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.
Recommendations
- Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
- Reflexivity and approximate fixed points
- The Fixed Points of an Analytic Self-Mapping
- Reflexive domains and fixed points
- Characterizing fixed points
- scientific article; zbMATH DE number 1005395
- scientific article; zbMATH DE number 459292
- Some remarks on fixed points
- scientific article; zbMATH DE number 1262820
- Isolating Fixed Points
Cited in
(16)- Uniform self-reference
- Some unifying fixed point principles
- Cantor diagrams: a unifying discussion of self-reference
- Is there a ``Hilbert thesis?
- Fixed points and diagonal method
- Naming and Diagonalization, from Cantor to Godel to Kleene
- Fixed point constructions
- Self-reference in all its glory
- scientific article; zbMATH DE number 19147 (Why is no real title available?)
- scientific article; zbMATH DE number 664031 (Why is no real title available?)
- Categorical pairs and the indicative shift
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- Fixed points and unfounded chains
- Substructural fixed-point theorems and the diagonal argument: theme and variations
- Commutativity and self-reference
- Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
This page was built for publication: Fixed points and self-reference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1071010)
