Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
type: Item
instance of: scholarly article
title: Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
zbMATH Open document ID: 0795.92004
DOI: 10.1016/0096-3003(94)90049-3
author: Yukio-Pegio Gunji
published in: Applied Mathematics and Computation
publication date: 1994-05-09T00:00:00Z
review text: Lawvere's fixed point theorem on self-referential morphisms in a topos is used to argue that a time evolving autonomous system is necessarily incomplete.
Mathematics Subject Classification ID: 92B99
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 18A99
Mathematics Subject Classification ID: 92B05
zbMATH DE Number: 566128
zbMATH Keywords: Goedel incompleteness
zbMATH Keywords: universal mapping
zbMATH Keywords: programmability
zbMATH Keywords: Lawvere's fixed point theorem
zbMATH Keywords: self-referential morphisms
zbMATH Keywords: topos
zbMATH Keywords: time evolving autonomous system
reviewed by: Jonathan Hodgson
MaRDI profile type: Publication
full work available at URL: 0096-3003(94)90049-3
OpenAlex ID: W2075014022
cites work: Q3814814
cites work: The form of life. I: It is possible but not necessary
cites work: Forms of life: Unprogrammability constitutes the outside of a system and its autonomy
cites work: Artificial life with autonomously emerging boundaries
cites work: 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
cites work: Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
cites work: Q5727646
cites work: Q3675526
Recommended article: Q3786326
Recommended article: Q4803510
Recommended article: Biological autonomy: The self-creation of constraints
Recommended article: Q5146652
Recommended article: Q4846375
Recommended article: Forms of life: Unprogrammability constitutes the outside of a system and its autonomy
description: scientific article; zbMATH DE number 566128