Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Confusion in the Church-Turing Thesis
The Church-Turing Thesis confuses numerical computations with symbolic computations. In particular, any model of computability in… 
2014
2014
Will boson-sampling ever disprove the Extended Church-Turing thesis?
Boson-sampling is a highly simplified, but non-universal, approach to implementing optical quantum computation. It was shown by… 
2007
2007
Proving Church's Thesis
The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had… 
2006
2006
Did Church and Turing Have a Thesis about Machines
This article draws attention to a central dispute in the interpretation of Church’s Thesis. More precisely, we are concerned with… 
2005
2005
The Church-Turing thesis and its look-alikes
"A function is mechanically computable (that is: computable by means of a machine) if and only if it is Turing-computable." 
2005
2005
AUTOMATIC DESIGN OF DETECTION TESTS IN COMPLEX DYNAMIC SYSTEMS
Abstract In complex industrial plants, there are usually lots of sensors and the modelling of the plant leads to lots of… 
Review
2000
Review
2000
The Situation on the International Legal Theory Front
The rejuvenation of international law in the last decade has its source in two developments. On the one hand, "critical legal… 
1982
1982
Recursive models for constructive set theories
Highly Cited
1981
Highly Cited
1981
OBSERVABILITY AND REDUNDANCY IN PROCESS DATA ESTIMATION
1968
1968
Stratigraphy of Slick Rock district and vicinity, San Miguel and Dolores Counties, Colorado
________________________________________ Introduction. ______________________________________ Fieldwork and exploratory and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)