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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
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
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
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
How to address empirically the calculative character of markets without dissolving it? In our paper, we propose a theoretical… Expand
2005
2005
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
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
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
  • 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
  • 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
We describe initial results from an apparatus and protocol designed to implement quantum public key distribution, by which two… Expand