Forms of life: Unprogrammability constitutes the outside of a system and its autonomy
DOI10.1016/0096-3003(93)90043-EzbMATH Open0795.92003OpenAlexW2083883826WikidataQ126857752 ScholiaQ126857752MaRDI QIDQ686065FDOQ686065
Authors: Yukio-Pegio Gunji 
Publication date: 22 September 1994
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0096-3003(93)90043-e
Recommendations
- System Structure and the Existence of a System Life
- scientific article; zbMATH DE number 1900859
- Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
- A formalism of multidimensional living systems based on nonstandard analysis
- scientific article; zbMATH DE number 5380418
- scientific article; zbMATH DE number 4049464
programmabilityautonomic systemsfinite velocity of propagation of observationsGoedel incompletenessinfinite regressioninput-output automatonself referential systemsuniversal mappingunprogrammable
General biology and biomathematics (92B05) Mathematical biology in general (92B99) General theory of categories and functors (18A99)
Cites Work
- Conservative logic
- Title not available (Why is that?)
- Statistical mechanics of cellular automata
- Title not available (Why is that?)
- Computation theory of cellular automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computational modeling of evolutionary learning processes in the brain
- Categorical system theory
- The theory of metabolism-repair systems
- Artificial life with autonomously emerging boundaries
- Mathematical construction of an autonomous artificial life
- The form of life. I: It is possible but not necessary
- Molecular approach to informal computing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- Dynamically changing interface as a model of measurement in complex systems
- Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
- The form of life. I: It is possible but not necessary
- Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra
- Learning processes based on incomplete identification and information generation
- Autonomous indefiniteness versus external indefiniteness: Theory of weak topped \(\cap\)-structure and its application to elementary local cellular automaton
- Appearance of hierarchical structure in hyper-dilation model: Model of generalized measurement process
- Title not available (Why is that?)
This page was built for publication: Forms of life: Unprogrammability constitutes the outside of a system and its autonomy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q686065)
