Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point

DOI10.1016/0096-3003(94)90049-3zbMath0795.92004OpenAlexW2075014022MaRDI QIDQ1322900

Yukio-Pegio Gunji

Publication date: 9 May 1994

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-3003(94)90049-3

zbMATH Keywords

toposprogrammabilityGoedel incompletenessuniversal mappingLawvere's fixed point theoremself-referential morphismstime evolving autonomous system

Mathematics Subject Classification ID

Topoi (18B25) General theory of categories and functors (18A99) General biology and biomathematics (92B05) Mathematical biology in general (92B99)

Related Items (11)

Dynamically changing interface as a model of measurement in complex systems ⋮ Critical state between local and global interaction ⋮ Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra ⋮ Self-organized criticality resulting from minimization of perpetual disequilibration ⋮ Observational heterarchy enhancing active coupling ⋮ Dynamical infomorphism: form of endo-perspective ⋮ Autonomous indefiniteness versus external indefiniteness: Theory of weak topped \(\cap\)-structure and its application to elementary local cellular automaton ⋮ Appearance of hierarchical structure in hyper-dilation model: Model of generalized measurement process ⋮ On a quantum mechanical system theory of the origin of life: from the Stapp-model to the origin of natural symbols ⋮ The dynamically changing model of exchange as interaction between cone-relation and equiv\-a\-lent-relation. ⋮ Dynamical duality of type- and token-computation as an abstract brain

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Forms of life: Unprogrammability constitutes the outside of a system and its autonomy
• Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
• Artificial life with autonomously emerging boundaries
• The form of life. I: It is possible but not necessary
• Category theory, homology theory and their applications II. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24 -- July 19, 1968, Volume two

This page was built for publication: Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point