English
Related papers

Related papers: Rosen's no-go theorem for regular categories

200 papers

We formulate physically-motivated axioms for a physical theory which for systems with a finite number of degrees of freedom uniquely lead to Quantum Mechanics as the only nontrivial consistent theory. Complex numbers and the existence of…

Quantum Physics · Physics 2013-06-04 Anton Kapustin

One of the characteristic features of categorical systems theory is that the behavior of systems can be characterized by certain morphisms into them. In other words, behaviors form a representable covariant functor to Set. And more…

Category Theory · Mathematics 2026-04-03 Owen Lynch , David Jaz Myers , Eigil Fjeldgren Rischel , Sam Staton

Living systems, from single cells to higher vertebrates, receive a continuous stream of non-stationary inputs that they sense, e.g., via cell surface receptors or sensory organs. Integrating these time-varying, multi-sensory, and often…

Other Quantitative Biology · Quantitative Biology 2024-04-17 Daniel Koch , Akhilesh Nandan , Gayathri Ramesan , Aneta Koseska

Unlike many physical nonequilibrium systems, in biological systems, the coupling to external energy sources is not a fixed parameter but adaptively controlled by the system itself. We do not have theoretical frameworks that allow for such…

Populations and Evolution · Quantitative Biology 2025-06-30 Ankit Dhanuka , Avi I. Flamholz , Arvind Murugan , Akshit Goyal

The abstract notion of a Universal Turing machine cannot exist as a physical subsystem without the introduction of noise from an external energy source. Like all other physical systems, physical Turing machines must convert energy sourced…

History and Philosophy of Physics · Physics 2020-05-20 Michael Kewming

This is an essay in what might be called ``mathematical metaphysics.'' There is a fundamental duality that run through mathematics and the natural sciences. The duality starts as the logical level; it is represented by the Boolean logic of…

General Physics · Physics 2024-09-30 David Ellerman

We argue that the analysis of agent/environment interactions should be extended to include the conventions and invariants maintained by agents throughout their activity. We refer to this thicker notion of environment as a lifeworld and…

Artificial Intelligence · Computer Science 2014-11-17 P. Agre , I. Horswill

Biological systems are generally complicated and/or complex. In the former approach, one sets up a model with a large number of parameters to describe the system in detail. The latter approach focuses on understanding the universal aspects…

Biological Physics · Physics 2026-03-19 Kunihiko Kaneko

The long-term behaviour of dynamic systems can be classified in two different regimes, regular or chaotic, depending on the values of the control parameters, which are kept constant during the time evolution. Starting from slightly…

Condensed Matter · Physics 2007-05-23 Paulo Murilo Castro de Oliveira

Following the development of the selectionist theory of the immune system, there was an attempt to characterize many biological mechanisms as being "selectionist" as juxtaposed to "instructionist." But this broad definition would group…

Logic · Mathematics 2014-10-28 David Ellerman

Redundancy is a fundamental characteristic of many biological processes such as those in the genetic, visual, muscular and nervous system; yet its function has not been fully understood. The conventional interpretation of redundancy is that…

Information Theory · Computer Science 2019-02-04 Anh Tuan Nguyen , Jian Xu , Diu Khue Luu , Qi Zhao , Zhi Yang

Systems are typically made from simple components regardless of their complexity. While the function of each part is easily understood, higher order functions are emergent properties and are notoriously difficult to explain. In networked…

Artificial Intelligence · Computer Science 2018-01-18 Jory Schossau , Larissa Albantakis , Arend Hintze

In this paper we explore several fundamental relations between formal systems, algorithms, and dynamical systems, focussing on the roles of undecidability, universality, diagonalization, and self-reference in each of these computational…

Logic in Computer Science · Computer Science 2019-03-22 Mikhail Prokopenko , Michael Harré , Joseph Lizier , Fabio Boschetti , Pavlos Peppas , Stuart Kauffman

An object-oriented combinator chemistry was used to construct an artificial organism with a system architecture possessing characteristics necessary for organisms to evolve into more complex forms. This architecture supports modularity by…

Neural and Evolutionary Computing · Computer Science 2018-05-17 Lance R. Williams

Physical emergence - crystals, rocks, sandpiles, turbulent eddies, planets, stars - is fundamentally different from biological emergence - amoeba, cells, mice, humans - even though the latter is based in the former. This paper points out…

Biological Physics · Physics 2018-03-29 George Ellis , Jonathan Kopel

Rigidity is an emergent property of materials - it is not a feature of individual components that comprise the structure, but instead arises from interactions between many constituent parts. Recently, it has been recognized that…

Soft Condensed Matter · Physics 2025-08-27 Kelly Aspinwall , Tyler Hain , M. Lisa Manning

We demonstrate that if consciousness is relevant for the temporal evolution of a system's states--that is, if it is dynamically relevant--then AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other…

Artificial Intelligence · Computer Science 2023-11-13 Johannes Kleiner , Tim Ludwig

The biological hierarchy and the differences between living and non-living systems are considered from the standpoint of quantum mechanics. The hierarchical organization of biological systems requires hierarchical organization of quantum…

Quantum Physics · Physics 2007-05-23 M. V. Altaisky

We consider systems whose lifetime is measured by the time of physical degradation of components, as well as the degree of power each component contributes to the system. The lifetimes of the components of the system are random variables.…

Probability · Mathematics 2025-01-27 Ismihan Bayramoglu

We axiomatize the molecular-biology reasoning style, show compliance of the standard reference: Ptashne, A Genetic Switch, and present proof-theory-induced technologies to help infer phenotypes and to predict life cycles from genotypes. The…

Other Quantitative Biology · Quantitative Biology 2019-03-19 René Vestergaard , Emmanuel Pietriga