Forms of life: Unprogrammability constitutes the outside of a system and its autonomy

Research output: Contribution to journalArticle

16 Citations (Scopus)

Abstract

The question "What is life," has long been discussed, and many concepts representing what are regarded as essential properties of life have been proposed, namely information generating processes, complex systems, indefinite boundaries, and self- reference. Self-referential forms in particular play a central role in autonomous life, because both in ontogenetic and phylogenetic processes we find self-referential forms and self-reference introduces other important features of life. However, because self-reference is strongly connected with self-contradiction and/or unprogrammability, it cannot be described in the paradigm of prediction or dynamics. It is inevitable to estimate the problem of instability of the description itself. We here discuss self-reference and unprogrammability with respect to the mixture between inter- and intracellular computations in biological systems, and we replace the difference between computation velocities at different levels by the difference between the velocity of observation propagation and that of a particle. We also define the formal system of communication and transplant the problem of unprogrammability resulting from the finite velocity of observation propagation in that system. Here it is illustrated that unprogrammability is isomorphic to the incompleteness of a formal system. Further, we formally estimate the relationship of unprogrammability and one-to-many type mapping and propose the formalization using a universal arrow, based on Wittgenstein's idea, language games, and performativeness. Because unprogrammability does not exist as a real entity, but is constituted, we can formalize one-to-many type mapping and even unstable formal description. The concept of autonomy is not beyond formal description; however it is beyond the paradigm of prediction.

Original languageEnglish
Pages (from-to)19-76
Number of pages58
JournalApplied Mathematics and Computation
Volume58
Issue number1
DOIs
Publication statusPublished - 1993 Sep 15
Externally publishedYes

Fingerprint

One to many
Transplants
Paradigm
Biological systems
Propagation
Large scale systems
Incompleteness
Prediction
Phylogenetics
Formalization
Biological Systems
Estimate
Complex Systems
Isomorphic
Unstable
Communication
Game
Life
Autonomy
Form

ASJC Scopus subject areas

  • Applied Mathematics
  • Computational Mathematics
  • Numerical Analysis

Cite this

Forms of life : Unprogrammability constitutes the outside of a system and its autonomy. / Gunji, Yukio.

In: Applied Mathematics and Computation, Vol. 58, No. 1, 15.09.1993, p. 19-76.

Research output: Contribution to journalArticle

@article{e3c17ee789734696945c537eccd44774,
title = "Forms of life: Unprogrammability constitutes the outside of a system and its autonomy",
abstract = "The question {"}What is life,{"} has long been discussed, and many concepts representing what are regarded as essential properties of life have been proposed, namely information generating processes, complex systems, indefinite boundaries, and self- reference. Self-referential forms in particular play a central role in autonomous life, because both in ontogenetic and phylogenetic processes we find self-referential forms and self-reference introduces other important features of life. However, because self-reference is strongly connected with self-contradiction and/or unprogrammability, it cannot be described in the paradigm of prediction or dynamics. It is inevitable to estimate the problem of instability of the description itself. We here discuss self-reference and unprogrammability with respect to the mixture between inter- and intracellular computations in biological systems, and we replace the difference between computation velocities at different levels by the difference between the velocity of observation propagation and that of a particle. We also define the formal system of communication and transplant the problem of unprogrammability resulting from the finite velocity of observation propagation in that system. Here it is illustrated that unprogrammability is isomorphic to the incompleteness of a formal system. Further, we formally estimate the relationship of unprogrammability and one-to-many type mapping and propose the formalization using a universal arrow, based on Wittgenstein's idea, language games, and performativeness. Because unprogrammability does not exist as a real entity, but is constituted, we can formalize one-to-many type mapping and even unstable formal description. The concept of autonomy is not beyond formal description; however it is beyond the paradigm of prediction.",
author = "Yukio Gunji",
year = "1993",
month = "9",
day = "15",
doi = "10.1016/0096-3003(93)90043-E",
language = "English",
volume = "58",
pages = "19--76",
journal = "Applied Mathematics and Computation",
issn = "0096-3003",
publisher = "Elsevier Inc.",
number = "1",

}

TY - JOUR

T1 - Forms of life

T2 - Unprogrammability constitutes the outside of a system and its autonomy

AU - Gunji, Yukio

PY - 1993/9/15

Y1 - 1993/9/15

N2 - The question "What is life," has long been discussed, and many concepts representing what are regarded as essential properties of life have been proposed, namely information generating processes, complex systems, indefinite boundaries, and self- reference. Self-referential forms in particular play a central role in autonomous life, because both in ontogenetic and phylogenetic processes we find self-referential forms and self-reference introduces other important features of life. However, because self-reference is strongly connected with self-contradiction and/or unprogrammability, it cannot be described in the paradigm of prediction or dynamics. It is inevitable to estimate the problem of instability of the description itself. We here discuss self-reference and unprogrammability with respect to the mixture between inter- and intracellular computations in biological systems, and we replace the difference between computation velocities at different levels by the difference between the velocity of observation propagation and that of a particle. We also define the formal system of communication and transplant the problem of unprogrammability resulting from the finite velocity of observation propagation in that system. Here it is illustrated that unprogrammability is isomorphic to the incompleteness of a formal system. Further, we formally estimate the relationship of unprogrammability and one-to-many type mapping and propose the formalization using a universal arrow, based on Wittgenstein's idea, language games, and performativeness. Because unprogrammability does not exist as a real entity, but is constituted, we can formalize one-to-many type mapping and even unstable formal description. The concept of autonomy is not beyond formal description; however it is beyond the paradigm of prediction.

AB - The question "What is life," has long been discussed, and many concepts representing what are regarded as essential properties of life have been proposed, namely information generating processes, complex systems, indefinite boundaries, and self- reference. Self-referential forms in particular play a central role in autonomous life, because both in ontogenetic and phylogenetic processes we find self-referential forms and self-reference introduces other important features of life. However, because self-reference is strongly connected with self-contradiction and/or unprogrammability, it cannot be described in the paradigm of prediction or dynamics. It is inevitable to estimate the problem of instability of the description itself. We here discuss self-reference and unprogrammability with respect to the mixture between inter- and intracellular computations in biological systems, and we replace the difference between computation velocities at different levels by the difference between the velocity of observation propagation and that of a particle. We also define the formal system of communication and transplant the problem of unprogrammability resulting from the finite velocity of observation propagation in that system. Here it is illustrated that unprogrammability is isomorphic to the incompleteness of a formal system. Further, we formally estimate the relationship of unprogrammability and one-to-many type mapping and propose the formalization using a universal arrow, based on Wittgenstein's idea, language games, and performativeness. Because unprogrammability does not exist as a real entity, but is constituted, we can formalize one-to-many type mapping and even unstable formal description. The concept of autonomy is not beyond formal description; however it is beyond the paradigm of prediction.

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

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

U2 - 10.1016/0096-3003(93)90043-E

DO - 10.1016/0096-3003(93)90043-E

M3 - Article

AN - SCOPUS:43949163261

VL - 58

SP - 19

EP - 76

JO - Applied Mathematics and Computation

JF - Applied Mathematics and Computation

SN - 0096-3003

IS - 1

ER -