Is there any real substance to the claims for a ``new computationalism?
From MaRDI portal
Publication:2011631
Recommendations
Cites work
- A calculus of mobile processes. I
- A Natural Axiomatization of Computability and Proof of Church's Thesis
- A new conceptual framework for analog computation
- Axioms for computability: do they allow a proof of Church's thesis?
- Church Without Dogma: Axioms for Computability
- Correspondence and independence of numerical evaluations of algorithmic information measures
- scientific article; zbMATH DE number 1818513 (Why is no real title available?)
- scientific article; zbMATH DE number 3728250 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Interactive foundations of computing
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
- Sequential abstract-state machines capture sequential algorithms
- Systems of Logic Based on Ordinals†
- What is computation? Actor model versus Turing's model
This page was built for publication: Is there any real substance to the claims for a ``new computationalism?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011631)