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… 
2007
2007
The Church Confronts Modernity: Catholicism since 1950 in the United States, Ireland, and Quebec
"The Chruch Confronts Modernity" assesses the history of Roman Catholicism since 1950 in the United States, the Republic of… 
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… 
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… 
1998
1998
The Narrational Case against Church's Thesis
In a recent and widely aarmed paper in this journal, Elliot Mendelson 27] 1 challenges what he rightly calls the \standard… 
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)