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

Yukio Pegio Gunji*

*この研究の対応する著者

研究成果: Article査読

36 被引用数 (Scopus)

抄録

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.

本文言語English
ページ(範囲)231-267
ページ数37
ジャーナルApplied Mathematics and Computation
61
2-3
DOI
出版ステータスPublished - 1994 3 15
外部発表はい

ASJC Scopus subject areas

  • 計算数学
  • 応用数学

フィンガープリント

「Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル