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

Research output: Contribution to journalArticle

34 Citations (Scopus)

Abstract

If finite velocity of observation propagation is taken into consideration, one is faced with a paradox or infinite regression in his own logic. It is the same as Goedel's theorem of incompleteness or Wittgenstein's paradox, and in general it can be formally replaced by Lawvere's theorem of a fixed point. To describe time evolution under finite velocity of observation propagation is not to construct a new logic in which the paradox can be removed or improved, but to accept the paradox itself. Given a system in which a paradox is deduced by taking the finite velocity of observation propagation, we can regard the whole formal description, which consists of the system and a proof sequence, toward the paradox, as an evolutionary system. A formal evolutionary system defined here is one demonstration of autonomic life.

Original languageEnglish
Pages (from-to)231-267
Number of pages37
JournalApplied Mathematics and Computation
Volume61
Issue number2-3
DOIs
Publication statusPublished - 1994 Mar 15
Externally publishedYes

Fingerprint

Incompleteness
Paradox
Fixed point
Theorem
Propagation
Demonstrations
Logic
Life
Regression
Observation

ASJC Scopus subject areas

  • Applied Mathematics
  • Computational Mathematics
  • Numerical Analysis

Cite this

Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point. / Gunji, Yukio.

In: Applied Mathematics and Computation, Vol. 61, No. 2-3, 15.03.1994, p. 231-267.

Research output: Contribution to journalArticle

@article{b0ac58c8f2ab4fefb1e9e3d6350178a8,
title = "Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point",
abstract = "If finite velocity of observation propagation is taken into consideration, one is faced with a paradox or infinite regression in his own logic. It is the same as Goedel's theorem of incompleteness or Wittgenstein's paradox, and in general it can be formally replaced by Lawvere's theorem of a fixed point. To describe time evolution under finite velocity of observation propagation is not to construct a new logic in which the paradox can be removed or improved, but to accept the paradox itself. Given a system in which a paradox is deduced by taking the finite velocity of observation propagation, we can regard the whole formal description, which consists of the system and a proof sequence, toward the paradox, as an evolutionary system. A formal evolutionary system defined here is one demonstration of autonomic life.",
author = "Yukio Gunji",
year = "1994",
month = "3",
day = "15",
doi = "10.1016/0096-3003(94)90049-3",
language = "English",
volume = "61",
pages = "231--267",
journal = "Applied Mathematics and Computation",
issn = "0096-3003",
publisher = "Elsevier Inc.",
number = "2-3",

}

TY - JOUR

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

AU - Gunji, Yukio

PY - 1994/3/15

Y1 - 1994/3/15

N2 - If finite velocity of observation propagation is taken into consideration, one is faced with a paradox or infinite regression in his own logic. It is the same as Goedel's theorem of incompleteness or Wittgenstein's paradox, and in general it can be formally replaced by Lawvere's theorem of a fixed point. To describe time evolution under finite velocity of observation propagation is not to construct a new logic in which the paradox can be removed or improved, but to accept the paradox itself. Given a system in which a paradox is deduced by taking the finite velocity of observation propagation, we can regard the whole formal description, which consists of the system and a proof sequence, toward the paradox, as an evolutionary system. A formal evolutionary system defined here is one demonstration of autonomic life.

AB - If finite velocity of observation propagation is taken into consideration, one is faced with a paradox or infinite regression in his own logic. It is the same as Goedel's theorem of incompleteness or Wittgenstein's paradox, and in general it can be formally replaced by Lawvere's theorem of a fixed point. To describe time evolution under finite velocity of observation propagation is not to construct a new logic in which the paradox can be removed or improved, but to accept the paradox itself. Given a system in which a paradox is deduced by taking the finite velocity of observation propagation, we can regard the whole formal description, which consists of the system and a proof sequence, toward the paradox, as an evolutionary system. A formal evolutionary system defined here is one demonstration of autonomic life.

UR - http://www.scopus.com/inward/record.url?scp=0000687430&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0000687430&partnerID=8YFLogxK

U2 - 10.1016/0096-3003(94)90049-3

DO - 10.1016/0096-3003(94)90049-3

M3 - Article

VL - 61

SP - 231

EP - 267

JO - Applied Mathematics and Computation

JF - Applied Mathematics and Computation

SN - 0096-3003

IS - 2-3

ER -