Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem

Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem We consider an extension of Lawvere's Theorem showing that all classical results on limitations (i.e. Cantor, Russel, Godel, etc.) stem from the same underlying connection between self-referentiality and fixed points. We first prove an even stronger version of this result. Secondly, we investigate the Theorem's converse, and we are led to the conjecture that any structure with the fixed point property is a retract of a higher reflexive domain, from which this property is inherited. This is proved here for the category of chain complete posets with continuous morphisms. The relevance of these results for computer science and biology is briefly considered. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Acta Applicandae Mathematicae Springer Journals

Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem

Download PDF
19 pages

Loading next page...
 
/lp/springer-journals/self-reference-and-fixed-points-a-discussion-and-an-extension-of-YBJbDd8ttm

References (4)

Publisher
Springer Journals
Copyright
Copyright
Subject
Mathematics; Computational Mathematics and Numerical Analysis; Applications of Mathematics; Partial Differential Equations; Probability Theory and Stochastic Processes; Calculus of Variations and Optimal Control; Optimization
ISSN
0167-8019
eISSN
1572-9036
DOI
10.1007/BF01405490
Publisher site
See Article on Publisher Site

Abstract

We consider an extension of Lawvere's Theorem showing that all classical results on limitations (i.e. Cantor, Russel, Godel, etc.) stem from the same underlying connection between self-referentiality and fixed points. We first prove an even stronger version of this result. Secondly, we investigate the Theorem's converse, and we are led to the conjecture that any structure with the fixed point property is a retract of a higher reflexive domain, from which this property is inherited. This is proved here for the category of chain complete posets with continuous morphisms. The relevance of these results for computer science and biology is briefly considered.

Journal

Acta Applicandae Mathematicae – Springer Journals

Published: Mar 16, 2005

There are no references for this article.