When does a physical system compute?
From MaRDI portal
Abstract: Computing is a high-level process of a physical system. Recent interest in non-standard computing systems, including quantum and biological computers, has brought this physical basis of computing to the forefront. There has been, however, no consensus on how to tell if a given physical system is acting as a computer or not; leading to confusion over novel computational devices, and even claims that every physical event is a computation. In this paper we introduce a formal framework that can be used to determine whether or not a physical system is performing a computation. We demonstrate how the abstract computational level interacts with the physical device level, drawing the comparison with the use of mathematical models to represent physical objects in experimental science. This powerful formulation allows a precise description of the similarities between experiments, computation, simulation, and technology, leading to our central conclusion: physical computing is the use of a physical system to predict the outcome of an abstract evolution. We give conditions that must be satisfied in order for computation to be occurring, and illustrate these with a range of non-standard computing scenarios. The framework also covers broader computing contexts, where there is no obvious human computer user. We define the critical notion of a 'computational entity', and show the role this plays in defining when computing is taking place in physical systems.
Recommendations
Cites work
- A Mathematical Theory of Communication
- Does a rock implement every finite-state automaton?
- Mathematical Theory of the Differential Analyzer
- Quantised singularities in the electromagnetic field,
- Quantum theory, the Church–Turing principle and the universal quantum computer
- The connection between logical and thermodynamic irreversibility
- Unidirectional bit/byte error control
- What is computation?
Cited in
(19)- Physarum-inspired multi-commodity flow dynamics
- Co-designing the computational model and the computing substrate (invited paper)
- The role of the representational entity in physical computing
- Philosophy of Computation
- BIOMICS: a Theory of Interaction Computing
- Reservoir computing with computational matter
- Qualitative models and experimental investigation of chaotic NOR gates and set/reset flip-flops
- A framework for heterotic computing
- scientific article; zbMATH DE number 7453153 (Why is no real title available?)
- Physical computational complexity and first-order logic
- A substrate-independent framework to characterize reservoir computers
- A simplicity criterion for physical computation
- The geometry of speed limiting resources in physical models of computation
- Anti-heterotic computing
- The Physical Meaning of the Holographic Principle
- The representational entity in physical computing
- Algebraic design of physical computing system
- Nash equilibria and undecidability in generic physical interactions -- a free energy perspective
- Self-reference, self-representation, and the logic of intentionality
This page was built for publication: When does a physical system compute?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2830154)
