Mathematical Logic Quarterly 40 (3):422-424 (1994)
| Abstract |
We sketch proofs of the theorems of Church-Turing and Trachtenbrot using a semi-monomorphic axiomatization
|
| Keywords | Theorem of Trachtenbrot Theorem of Church‐Turing Undecidability of satisfiability |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19940400311 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Turing, Gödel, Church, and Beyond. MIT Press.
The Church-Turing Thesis.B. Jack Copeland - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University.
SAD Computers and Two Versions of the Church–Turing Thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
What Turing Did After He Invented the Universal Turing Machine.Diane Proudfoot & Jack Copeland - 2000 - Journal of Logic, Language and Information 9:491-509.
A Natural Axiomatization of Computability and Proof of Church’s Thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Physical Hypercomputation and the Church–Turing Thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.
Turing's Golden: How Well Turing's Work Stands Today.Justin Leiber - 2006 - Philosophical Psychology 19 (1):13-46.
A Formal Theorem in Church's Theory of Types.M. H. A. Newman & A. M. Turing - 1942 - Journal of Symbolic Logic 7 (1):28-33.
Thinking Machines: Some Fundamental Confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.
Analytics
Added to PP index
2013-12-01
Total views
40 ( #253,471 of 2,411,692 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,692 )
2013-12-01
Total views
40 ( #253,471 of 2,411,692 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,692 )
How can I increase my downloads?
Downloads
