Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Church–Turing thesis

Known as: Churchs thesis, Church Turing thesis, The Church-Turing thesis 
In computability theory, the Church–Turing thesis (also known as Computability Thesis, the Turing–Church thesis, the Church–Turing conjecture, Church… Expand
Wikipedia

Related topics

Related topics

49 relations
A New Kind of ScienceAbstract machineAbstract state machinesAlgorithmically random sequence
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The Church-Turing Thesis
cell containing a left end marker ` (never written over) and extends to infinitely many cells to the right. This machine has a… Expand
  • figure 1
  • figure 3
  • figure 4
Highly Cited
2016
Highly Cited
2016
Where does AlphaGo go: from church-turing thesis to AlphaGo thesis and beyond
An investigation on the impact and significance of the AlphaGo vs. Lee Sedol Go match is conducted, and concludes with a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2007
Highly Cited
2007
The Church-Turing Thesis
There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be… Expand
Highly Cited
2005
Highly Cited
2005
Peripheral Vision
How to address empirically the calculative character of markets without dissolving it? In our paper, we propose a theoretical… Expand
2005
2005
Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy
The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such… Expand
Highly Cited
2005
Highly Cited
2005
The Church-Turing Thesis: Breaking the Myth
According to the interactive view of computation, communication happens during the computation, not before or after it. This… Expand
Highly Cited
2004
Highly Cited
2004
Is the Church-Turing thesis true?
The Church-Turing thesis makes a bold claim about the theoretical limits to computation. It is based upon independent analyses of… Expand
  • figure 3
Highly Cited
2003
Highly Cited
2003
Classical physics and the Church--Turing Thesis
  • A. Yao
  • JACM
  • 2003
    • Corpus ID: 207698349
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the… Expand
Highly Cited
1993
Highly Cited
1993
Evolving algebras 1993: Lipari guide
  • Y. Gurevich
  • Specification and validation methods
  • 1993
    • Corpus ID: 15580311
2 Static Algebras and Updates 4 2.1 Static Algebras: Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4… Expand
Highly Cited
1990
Highly Cited
1990
Experimental Quantum Cryptography
We describe initial results from an apparatus and protocol designed to implement quantum public key distribution, by which two… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE