Is there any real substance to the claims for a ``new computationalism?
From MaRDI portal
Publication:2011631
DOI10.1007/978-3-319-58741-7_2zbMath1433.68135OpenAlexW2613208496MaRDI QIDQ2011631
Francisco Hernández-Quiroz, Alberto Hernández-Espinosa, Hector Zenil
Publication date: 4 August 2017
Full work available at URL: https://philarchive.org/rec/HERD-7
Philosophy of mathematics (00A30) General topics in the theory of computing (68Q01) Classical models of computation (Turing machines, etc.) (68Q04) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new conceptual framework for analog computation
- Interactive foundations of computing
- A calculus of mobile processes. I
- A Natural Axiomatization of Computability and Proof of Church's Thesis
- Axioms for Computability: Do They Allow a Proof of Church’s Thesis?
- What is Computation? Actor Model versus Turing's Model
- Church Without Dogma: Axioms for Computability
- Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures
- Sequential abstract-state machines capture sequential algorithms
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
- Systems of Logic Based on Ordinals†
This page was built for publication: Is there any real substance to the claims for a ``new computationalism?