Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra

DOI10.1016/0096-3003(95)00221-9zbMath0855.92003OpenAlexW2103464220MaRDI QIDQ1923377

Hisato Sadaoka, Yukio-Pegio Gunji, Keisuke Ito

Publication date: 9 February 1997

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-3003(95)00221-9

zbMATH Keywords

measurementscellular automataBoolean algebrahierarchical structuresartificial lifeobservationslocal rulebootstrapping systempseudo-Boolean algebraformal biological systemnonlogical aspects of interactionspostscriptionprescription

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) General biology and biomathematics (92B05) Logical aspects of Boolean algebras (03G05) Discrete mathematics in relation to computer science (68R99) Other applications of logic (03B80)

Related Items (4)

Dynamically changing interface as a model of measurement in complex systems ⋮ Self-organized criticality resulting from minimization of perpetual disequilibration ⋮ Observational heterarchy enhancing active coupling ⋮ Dynamical duality of type- and token-computation as an abstract brain

Cites Work

• Forms of life: Unprogrammability constitutes the outside of a system and its autonomy
• Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
• Artificial life with autonomously emerging boundaries
• The form of life. I: It is possible but not necessary
• Information and self organization. A macroscopic approach to complex systems
• Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
• Mutual information functions versus correlation functions.
• Statistical mechanics of cellular automata
• Generalized shifts: unpredictability and undecidability in dynamical systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra