The Church-Turing Thesis as an Immature Form of the Zuse-Fredkin Thesis (More Arguments in Support of the “Universe as a Cellular Automaton” Idea)

Cached

Download Links

by Plamen Petrov
Citations:1 - 0 self

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
32 Computability and recursion – Robert I. Soare - 1996
1 The Physical Church-Turing Thesis: Modest or Bold? – Gualtiero Piccinini
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
8 Programmability of Chemical Reaction Networks – Matthew Cook, David Soloveichik, Erik Winfree, Jehoshua Bruck
Church’s Thesis – Guram Bezhanishvili
5 Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems – Keiichirou Kusakari - 2000
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
5 Gödel on computability – Wilfried Sieg
Contents – Karl Svozil - 2008
23 Information and Computation: Classical and Quantum Aspects – A. Galindo, M. A. Martín-delgado - 2001
29 Total Functional Programming – David Turner - 2004
Global semantic typing for inductive and coinductive computing – Daniel Leivant
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
Mathematical Definability – Theodore A. Slaman
5 The history and concept of computability – Robert I. Soare - 1999
Pattern Recognition of Biological Signals – Paulo S. Caparelli, Eduardo Costa, Ro S. Soares, Hipólito Barbosa
21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich