A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-
Abstract
We prove the Extended Church-Turing Thesis: Every effective algorithm can be efficiently simulated by a Turing machine. This is accomplished by emulating an effective algorithm via an abstract state machine, and simulating such an abstract state machine by a random access machine, representing data as a minimal term graph.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2012
- DOI:
- 10.48550/arXiv.1207.7148
- arXiv:
- arXiv:1207.7148
- Bibcode:
- 2012arXiv1207.7148D
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Computational Complexity;
- F.1.1;
- F.3.1
- E-Print:
- In Proceedings DCM 2011, arXiv:1207.6821