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

DOI10.1016/0096-3003(93)90043-EMaRDI QIDQ686065zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

programmabilityautonomic systemsfinite velocity of propagation of observationsGoedel incompletenessinfinite regressioninput-output automatonself referential systemsuniversal mappingunprogrammable

Mathematics Subject Classification ID

General biology and biomathematics (92B05) Mathematical biology in general (92B99) General theory of categories and functors (18A99)

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

Cites work

• scientific article; zbMATH DE number 3898247 (Why is no real title available?)
• scientific article; zbMATH DE number 4051397 (Why is no real title available?)
• scientific article; zbMATH DE number 4085030 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 194799 (Why is no real title available?)
• scientific article; zbMATH DE number 3446734 (Why is no real title available?)
• scientific article; zbMATH DE number 1865733 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Artificial life with autonomously emerging boundaries
• Categorical system theory
• Computation theory of cellular automata
• Computational modeling of evolutionary learning processes in the brain
• Conservative logic
• Mathematical construction of an autonomous artificial life
• Molecular approach to informal computing
• Statistical mechanics of cellular automata
• The form of life. I: It is possible but not necessary
• The theory of metabolism-repair systems

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 -structure and its application to elementary local cellular automaton
• Appearance of hierarchical structure in hyper-dilation model: Model of generalized measurement process
• scientific article; zbMATH DE number 4085030 (Why is no real title available?)

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)