Philosophy of Computation

DOI10.1007/978-3-319-65826-1_10zbMath1436.68105OpenAlexW2884471239MaRDI QIDQ3295749

Susan Stepney, P. Dini, Chrystopher L. Nehaniv, Stefano Nichele, Zoran Konkoli, Hajo J. Broersma

Publication date: 10 July 2020

Published in: Natural Computing Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65826-1_10

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) General topics in the theory of computing (68Q01)

Uses Software

• GAP
• SgpDec

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• Time for verification. Essays in memory of Amir Pnueli
• What does it mean to say that a physical system implements a computation?
• Does a rock implement every finite-state automaton?
• What is computation?
• When does a physical system compute?
• SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
• Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions
• Heterotic Computing
• Cybernetics and service‐craft: language for behavior‐focused design
• Physical Perspectives on Computation, Computational Perspectives on Physics
• Stochastic Algorithms: Foundations and Applications
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Philosophy of Computation