Yp. Gunji, AUTONOMIC LIFE AS THE PROOF OF INCOMPLETENESS AND LAWVERES THEOREM OFFIXED-POINT, Applied mathematics and computation, 61(2-3), 1994, pp. 231-267
If finite velocity of observation propagation is taken into considerat
ion, one is faced with a paradox or infinite regression in his own log
ic. It is the same as Goedel's theorem of incompleteness or Wittgenste
in's paradox, and in general it can be formally replaced by Lawvere's
theorem of a fixed point. To describe time evolution under finite velo
city of observation propagation is not to construct a new logic in whi
ch the paradox can be removed or improved, but to accept the paradox i
tself Given a system in which a paradox is deduced by taking the finit
e 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.