• 90% Refund @Courses
  • Engineering Mathematics
  • Discrete Mathematics
  • Operating System
  • Computer Networks
  • Digital Logic and Design
  • C Programming
  • Data Structures
  • Theory of Computation
  • Compiler Design
  • Computer Org and Architecture

Related Articles

  • Explore Our Geeks Community
  • Reversing Deterministic Finite Automata
  • Kleene's Theorem in TOC | Part-1
  • Designing Non-Deterministic Finite Automata (Set 1)
  • DFA of a string in which 3rd symbol from RHS is ‘a’
  • Turing machine for 1's and 2’s complement
  • Determining Countability in TOC
  • Construct Pushdown automata for L = {0 (n+m) 1 m 2 n | m, n ≥ 0}
  • NPDA for accepting the language L = {am b(2m) | m>=1}
  • Decidability, Semi-Decidability, and Undecidability in TOC
  • Designing Deterministic Finite Automata (Set 11)
  • NPDA for accepting the language L = {a m b n c p d q | m+n=p+q ; m,n,p,q>=1}
  • Practice problems on finite automata
  • NPDA for accepting the language L = {a(m+n)bmcn | m,n ≥ 1}
  • Program to construct a DFA which accept the language L = {a n b m | n mod 2=0, m≥1}
  • Designing Deterministic Finite Automata (Set 3)
  • NPDA for accepting the language L = {wwR | w ∈ (a,b)*}
  • Construct Pushdown automata for L = {a(2*m)c(4*n)dnbm | m,n ≥ 0}
  • Difference between Context Free Grammar and Regular Grammar
  • NPDA for accepting the language L = {an bn | n>=1}

Church’s Thesis for Turing Machine

In 1936, A method named as lambda-calculus was created by Alonzo Church in which the Church numerals are well defined, i.e. the encoding of natural numbers. Also in 1936, Turing machines (earlier called theoretical model for machines) was created by Alan Turing, that is used for manipulating the symbols of string with the help of tape.

Church Turing Thesis :

Turing machine is defined as an abstract representation of a computing device such as hardware in computers. Alan Turing proposed Logical Computing Machines (LCMs), i.e. Turing’s expressions for Turing Machines. This was done to define algorithms properly. So, Church made a mechanical method named as ‘M’ for manipulation of strings by using logic and mathematics. This method M must pass the following statements:

  • Number of instructions in M must be finite.
  • Output should be produced after performing finite number of steps.
  • It should not be imaginary, i.e. can be made in real life.
  • It should not require any complex understanding.

Using these statements Church proposed a hypothesis called

Church’s Turing thesis

that can be stated as: “The assumption that the intuitive notion of computable functions can be identified with partial recursive functions.”

Or in simple words we can say that “Every computation that can be carried out in the real world can be effectively performed by a Turing Machine.”

In 1930, this statement was first formulated by Alonzo Church and is usually referred to as Church’s thesis, or the Church-Turing thesis. However, this hypothesis cannot be proved. The recursive functions can be computable after taking following assumptions:

  • Each and every function must be computable.
  • Let ‘F’ be the computable function and after performing some elementary operations to ‘F’, it will transform a new function ‘G’ then this function ‘G’ automatically becomes the computable function.
  • If any functions that follow above two assumptions must be states as computable function.

Please Login to comment...

  • bhavyakashmira
  • How to Setup a Telegram Business Account
  • Amazon Prime Video, Twitch, Unity Lay Off Hundreds of Employees
  • OpenAI’s Sam Altman’s Most Used App
  • Microsoft is removing wordpad from Windows - Finally, After 30 years
  • 10 Best Free AI Art Generators to Create Image From Text [Free & Paid]

Improve your Coding Skills with Practice

 alt=

church turing thesis example

Church-Turing Thesis

The Church-Turing thesis (formerly commonly known simply as Church's thesis) says that any real-world computation can be translated into an equivalent computation involving a Turing machine . In Church's original formulation (Church 1935, 1936), the thesis says that real-world calculation can be done using the lambda calculus , which is equivalent to using general recursive functions .

The Church-Turing thesis encompasses more kinds of computations than those originally envisioned, such as those involving cellular automata , combinators , register machines , and substitution systems . It also applies to other kinds of computations found in theoretical computer science such as quantum computing and probabilistic computing.

There are conflicting points of view about the Church-Turing thesis. One says that it can be proven, and the other says that it serves as a definition for computation. There has never been a proof, but the evidence for its validity comes from the fact that every realistic model of computation, yet discovered, has been shown to be equivalent. If there were a device which could answer questions beyond those that a Turing machine can answer, then it would be called an oracle .

Some computational models are more efficient, in terms of computation time and memory, for different tasks. For example, it is suspected that quantum computers can perform many common tasks with lower time complexity , compared to modern computers, in the sense that for large enough versions of these problems, a quantum computer would solve the problem faster than an ordinary computer. In contrast, there exist questions, such as the halting problem , which an ordinary computer cannot answer, and according to the Church-Turing thesis, no other computational device can answer such a question.

The Church-Turing thesis has been extended to a proposition about the processes in the natural world by Stephen Wolfram in his principle of computational equivalence (Wolfram 2002), which also claims that there are only a small number of intermediate levels of computing power before a system is universal and that most natural systems are universal.

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

  • 32 coin tosses
  • factor 70560
  • hexagonal tiling

Referenced on Wolfram|Alpha

Cite this as:.

Rowland, Todd . "Church-Turing Thesis." From MathWorld --A Wolfram Web Resource, created by Eric W. Weisstein . https://mathworld.wolfram.com/Church-TuringThesis.html

Subject classifications

Search anything:

Church Turing Thesis in Theory of Computation

Theory of computation.

Internship at OpenGenus

Get this book -> Problems on Array: For Interviews and Competitive Programming

In this article, we have explain the meaning and importance of Church Turing Thesis in Theory of Computation along with its applications and limitations.

Table of contents:

  • Introduction to Turing Church Thesis

Applications of Church Turing Thesis

Limitations of church turing thesis.

Prerequisites: Algorithms, Turing Machine

Let us get started with Church Turing Thesis in Theory of Computation.

Definition of Church Turing Thesis

Church Turing Thesis states that:

A computation process that can be represented by an algorithm can be converted to a Turing Machine.

In simple words, any thing that can be done by an Algorithm can be done by a Turing Machine as well. So, all algorithms can be implemented in a Turing Machine.

Specific Computation Models are equivalent which means any one model can be coverted to another model. These Computation Models include:

  • One tape Turing Machine
  • K tape Turing Machine where K >= 1
  • Non Deterministic Turing Machine
  • Programs in Programming Languages such as Java, C++, Lisp and others.

So, a program in C++ can be converted to a K tape Turing Machine and vice versa.

The applications of Church Turing Thesis are as follows:

  • Church Turing Thesis is used to define an Algorithm (traditionally)
  • Used in solving 10th Problem by Hilbert.
  • Used in defining modern computing devices including Molecular and Quantum Computers.

10th Problem by Hilbert

It has been used to solve the 10th Problem by Hilbert in 8th August 1900 at the Second International Congress of Mathematicians in Paris. These problems were listed as critical problems that should be solved for progress in Mathematics.

The 10th Problem by Hilbert was:

Does there exists a process with finite number of steps that can determine if a given polynomial with integer coefficients has integral roots?

Another way to look at the problem is to find if there is an Algorithm to find if there exists an integral root for a given polynomial or not.

For example: This is a Polynomial:

35x 10 y 2 z 9 + 11x 6 z 7 + 103xyz + 17y 31 z 3 = 0.

Is there an algorithm that can find if there exist a solution in integers?

Note the solution is not needed. Only we need to find if such a solution exists or not.

In 1970, it was proved that no such algorithm exists. This was done by Matiyasevich.

Algorithm = Church Turing Thesis

To solve the 10th Hilbert Problem, one needs to understand what is meant by an algorithm. In fact, there have been different definitions and all have proved to be equivalent. Some definitions were:

  • 1936: Algorithm = Turing Machine
  • 1936: Algorithm = Lambda Calculus
  • 1970+: Algorithm = Implementation in Programming Languages like C and Lisp
  • Final: Algorithm = process converted to Turing Machine.

Finally, it was agreed that an Algorithm is based on Church Turing Thesis which said:

"Any computational process can be considered as an Algorithm if it can be converted to a Turing Machine." Note: This does not hold true as of now.

Modern Computing Devices

Traditional Computers which are in use today, are limited by Church Turing Thesis. This is because Church Turing Thesis defines an Algorithm which can be implemented in a real system.

Therefore, the Computing Device you are using is basically a Turing Machine.

The only difference is that Computing Devices are efficient while Turing Machine is inefficient. Theoretically, from a point of view of algorithms, there is no difference.

There are 3 different approaches future computers may take:

  • Quantum Computer : Solve Computing Problems using atoms by quantum rules. This is an active area of research.
  • Molecular Computer : Solve Computing Problems using Molecules by taking advantage of Physical laws of Moleculars. This includes replicating the idea of DNA.
  • Super Recursive Algorithm : This domain has not been realized yet and exists in theory but this is the part where Church Turing Thesis fail. We have covered this in the next section on "Limitations of Church Turing Thesis".

Two different futuristic models of Computer which follows Church Turing Thesis:

  • Quantum Computers can be represented as Non Deterministic Turing Machine
  • Molecular Computers can be represented by Turing Machine with many tapes and heads

Therefore, Quantum and Molecular Computers are same fundamentally and they are only more efficient than Mechnical Computers.

Super Recursive Algorithms proved Church Turing Thesis wrong. The first Super Recursive algorithm was introduced in 1965 by Mark Gold and Hillary Putnam by using ideas of limit recursive and limit partial recursive functions. It was based on ideas from non standard analysis by Abraham Robinson in 1966 and Inductive Definition of sets by Spector in 1959. This resulted in Inductive Inference by Gasarch and Smith in 1997 and is used in Machine Learning.

Super Recursive Algorithms can solve problems that are unsolvable by Turing Machines. To account for this, a new idea was introduced: Inductive Turing Macine. These were not accepted as Algorithm for a long time as it was refuting Church Turing Thesis and Godel Incompleteness Theorem (as proved in 1987 by Burgin).

The idea of Inductive Turing Machine is as follows:

  • Turing Machine has a property that it stops after giving a result.
  • Most programs stop after giving a result and this seems to be reasonable as what a program should do once it has found the answer.
  • Operating Systems are also programs but it does not give a standard output. It gives some strings to the users during its use but it cannot be considered as a output. The functionality of an Operating System is considered to be the output. It does not stop like standard program. If it stops, it cannot give any output.
  • There can be programs which give a result at the moment which is good enough but
  • This idea of not stopping after giving a result is the basis.

Inductive Turing Machine is more powerful than Conventional Turing Machine. Inductive Turing Machine can solve the Halting Problem which is known to be unsolvable by Conventional Turing Maching.

There are different types of Inductive Turing Machine:

  • Inductive Turing Machine + Structured Memory
  • Inductive Turing Machine + Structured Rules (control device)
  • Inductive Turing Machine + Structured Head (Operating Device)

Today, Church Turing Thesis is not considered as an Universal Principle. Inductive Turing Machine is the most powerful super recursive algorithm.

This lead to the formulation of "Extended Church Turing Thesis".

There are three open questions:

  • How to realize Super Recursive algorithms in technological devices?
  • How modern computing devices are related to Super Recursive Algorithm?
  • What are the new possibilities with Super Recursive Algorithm?

Think about these research open ended problems in Theory of Computation.

With this article at OpenGenus, you must have the complete idea of Church Turing Thesis in Theory of Computation.

OpenGenus IQ: Computing Expertise & Legacy icon

Stanford Encyclopedia of Philosophy

Turing’s thesis : LCMs [logical computing machines: Turing’s expression for Turing machines] can do anything that could be described as "rule of thumb" or "purely mechanical". (Turing 1948:7.)
This is sufficiently well established that it is now agreed amongst logicians that "calculable by means of an LCM" is the correct accurate rendering of such phrases. (Ibid.)
By the Entscheidungsproblem of a system of symbolic logic is here understood the problem to find an effective method by which, given any expression Q in the notation of the system, it can be determined whether or not Q is provable in the system. (Church 1936b: 41.)
computability by a Turing machine ... has the advantage of making the identification with effectiveness in the ordinary (not explicitly defined) sense evident immediately. (1937a: 43.)
define the notion ... of an effectively calculable function of positive integers by identifying it with the notion of a recursive function of positive integers (or of a lambda-definable function of positive integers). (1936a: .)
[T]o mask this identification under a definition ... blinds us to the need of its continual verification. (Post 1936: 105.)
Church’s thesis : A function of positive integers is effectively calculable only if recursive.
So Turing’s and Church’s theses are equivalent. We shall usually refer to them both as Church’s thesis , or in connection with that one of its ... versions which deals with ‘Turing machines’ as the Church-Turing thesis . (Kleene 1967: 232.)
connectionist models ... may possibly even challenge the strong construal of Church’s Thesis as the claim that the class of well-defined computations is exhausted by those of Turing machines. (Smolensky 1988: 3.)
[T]he work of Church and Turing fundamentally connects computers and Turing machines. The limits of Turing machines, according to the Church-Turing thesis, also describe the theoretical limits of all computers. (McArthur 1991: 401.)
[The] Church/ Turing thesis ... equates the mathematically precise notion of "solvable by a Turing machine" with the informal, intuitive notion of "solvable effectively", which alludes to all real computers and all programming languages, those that we know about at present as well as those that we do not. (Harel 1992: 233.)
The Church-Turing thesis makes a bold claim about the theoretical limits to computation. (Cleland 1993: 283.)
The first aspect that we examine of Church’s Thesis ... [w]e can formulate, more precisely: The behaviour of any discrete physical system evolving according to local mechanical laws is recursive. (Odifreddi 1989: 107.)
I can now state the physical version of the Church-Turing principle: "Every finitely realizable physical system can be perfectly simulated by a universal model computing machine operating by finite means." This formulation is both better defined and more physical than Turing’s own way of expressing it. (Deutsch 1985: 99.)
Thesis M : Whatever can be calculated by a machine (working on finite data in accordance with a finite program of instructions) is Turing-machine-computable.
All computable functions are computable by Turing machine.
certain functions are uncomputable in an absolute sense: uncomputable even by [Turing machine], and, therefore, uncomputable by any past, present, or future real machine. (Boolos and Jeffrey 1980: 55.)
Turing proposed that a certain class of abstract machines could perform any ‘mechanical’ computing procedure. (Mendelson 1964: 229.)
Can the operations of the brain be simulated on a digital computer? ... The answer seems to me ... demonstrably ‘Yes’ ... That is, naturally interpreted, the question means: Is there some description of the brain such that under that description you could do a computational simulation of the operations of the brain. But given Church’s thesis that anything that can be given a precise enough characterization as a set of steps can be simulated on a digital computer, it follows trivially that the question has an affirmative answer. (Searle 1992: 200.)
If you assume that [consciousness] is scientifically explicable ... [and] [g]ranted that the [Church-Turing] thesis is correct, then ... [i]f you believe [functionalism] to be false ... then ... you [should] hold that consciousness could be modelled in a computer program in the same way that, say, the weather can be modelled ... [and if] you accept functionalism ... you should believe that consciousness is a computational process. (Johnson-Laird 1987: 252.)
Church’s Thesis says that whatever is computable is Turing computable. Assuming, with some safety, that what the mind-brain does is computable, then it can in principle be simulated by a computer. (Churchland and Churchland 1983: 6.)
Thesis S : Any process that can be given a systematic mathematical description (or a ‘precise enough characterization as a set of steps’, or that is scientifically describable or scientifically explicable) can be simulated by a Turing machine.
We may compare a man in the process of computing a ... number to a machine. (Turing 1936: 231.)
Turing’s "Machines". These machines are humans who calculate. (Wittgenstein 1980, 1096.)
A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal machine. (Turing 1948: 9.)
The idea behind digital computers may be explained by saying that these machines are intended to carry out any operations which could be done by a human computer. (Turing 1950: 436).
The class of problems capable of solution by the machine [the ACE] can be defined fairly specifically. They are [a subset of] those problems which can be solved by human clerical labour, working to fixed rules, and without understanding. (Turing 1946: 38-9.)
Electronic computers are intended to carry out any definite rule of thumb process which could have been done by a human operator working in a disciplined but unintelligent manner. (Turing 1951: 1.)
[T]he "computable numbers" [the numbers whose decimal representations can be generated progressively by a Turing machine] include all numbers which would naturally be regarded as computable. (Turing 1936: 249.)
It is my contention that these operations [the primitive operations of a Turing machine] include all those which are used in the computation of a number. (Turing 1936: 232.)
Computers always spend just as long in writing numbers down and deciding what to do next as they do in actual multiplications, and it is just the same with ACE ... [T]he ACE will do the work of about 10,000 computers ... Computers will still be employed on small calculations ... (Turing 1947: 116, 120.)
To define effectiveness as computability by an arbitrary machine, subject to restrictions of finiteness, would seem to be an adequate representation of the ordinary notion (Church 1937b: 43),
The expression "machine process" of course means one which could be carried out by the type of machine I was considering [in Turing 1936]. (Turing 1947: 107).
The importance of the universal machine is clear. We do not need to have an infinity of different machines doing different jobs. A single one will suffice. The engineering problem of producing various machines for various jobs is replaced by the office work of "programming" the universal machine to do these jobs. (Turing 1948: 7.)

Book cover

Truth, Existence and Explanation pp 225–248 Cite as

Church-Turing Thesis, in Practice

  • Luca San Mauro 6  
  • First Online: 25 October 2018

304 Accesses

Part of the Boston Studies in the Philosophy and History of Science book series (BSPS,volume 334)

We aim at providing a philosophical analysis of the notion of “proof by Church’s Thesis”, which is – in a nutshell – the conceptual device that permits to rely on informal methods when working in Computability Theory. This notion allows, in most cases, to not specify the background model of computation in which a given algorithm – or a construction – is framed. In pursuing such analysis, we carefully reconstruct the development of this notion (from Post to Rogers, to the present days), and we focus on some classical constructions of the field, such as the construction of a simple set. Then, we make use of this focus in order to support the following encompassing claim (which opposes to a somehow commonly received view): the informal side of Computability, consisting of the large class of methods typically employed in the proofs of the field, is not fully reducible to its formal counterpart.

  • Church-Turing Thesis
  • Informal Methods
  • Informal Algorithm
  • Acceptable Number

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

The author was partially supported by the Austrian Science Fund FWF through project P 27527.

This is a preview of subscription content, log in via an institution .

Buying options

  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
  • Available as EPUB and PDF
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
  • Durable hardcover edition

Tax calculation will be finalised at checkout

Purchases are for personal use only

A classical introduction to CTT can be found in Kleene ( 1952 ). See also Church ( 1936 ), Turing ( 1936 , 1948 ), Post ( 1936 ), and Gödel ( 1946 ). Soare ( 1987b ) contains, in its first part, an accurate reconstruction of the role of Turing’s work in the acceptance of the thesis. For recent philosophical work concerning CTT, the reader is referred, for instance, to Olszewski et al. ( 2006 ).

The standard interpretation is that CTT is indeed a thesis , or, in Post’s words, “a working hyphotesis” (Post 1936 ). That is to say, something that cannot be subject of a mathematical proof. Yet, it has been argued that CTT has not necessarily an hypothetical status, but rather that it can be susceptible of a rigorous mathematical proof, or even that such a proof is already contained in Turing ( 1936 ) (for this line of thought see, e.g., Mendelson ( 1990 ), Gandy ( 1988 ), Sieg ( 1994 ), and the discussion contained in Shapiro ( 2006 )). Responses to this latter position can be found in Folina ( 1998 ) and Black ( 2000 ).

See Welch ( 2007 ) for a rich survey on models of transfinite computation. On the other hand, Davis ( 2006 ) denies any theoretical significance to “hypercomputationalism” as such.

For instance, the following is the first proof-theoretic reference to CTT in Rogers ( 1967 ):

There are exactly ℵ 0 partial recursive functions, and there are exactly ℵ 0 recursive functions.

All constants functions are recursive, by Church’s Thesis. Hence there are at least ℵ 0 recursive functions. The Gödel numbering shows that there are at most ℵ 0 partial recursive functions.

To be fair, Post mainly speaks of computably enumerable sets, there introduced for the first time. But since, by definition, a set is computably enumerable if it is the range of a computable function, then one can trivially translate Post’s formulations in instances of our prototype.

It is worth noticing that the Leibnizian ideal is by no means archeological. Quite to the contrary. Hacking reports Voevodsky’s opinion that “in a few years, journal will accept only articles accompanied by their machine-verifiable equivalents”. More generally – and less radically – research on proof-assistants can be (partially) motivated as a way of improving automatic verification of proofs.

For an accurate reconstruction of Post’s thought see De Mol ( 2006 )

From now on, in describing the practical side of CTT, we will mostly refer to textbooks. This is a natural choice. Since, as already said, there are no philosophical studies concerning the practice of Computability, the most immediate source of observations regarding how such practice has to be intended comes from the kind of expository remarks that abound in books such as Rogers’.

The interested reader can consult Mancosu ( 2008 ) for an anthology of papers in Philosophy of Mathematical Practice.

\(\mathbb {I}\) does clearly correspond to a pre-theoretic object whose formalization would be far from trivial. For instance, there could be a worry concerning a sort of Berry-like paradox, inasmuch we admit a too relaxed notion on what counts as an informal description for an algorithm. Nonetheless, we can suppose to deal with sufficiently clear descriptions. This is because, although border-cases cannot arguably be expunged, we are more interested, as we will see, in a somewhat global tendency.

All of this is of course related to the philosophical problem of determining if one can possibly formulate a definition for algorithms that would be correct in the sense of Shore: “Find, and argue conclusively for, a formal definition of algorithm and the appropriate analog of the Church-Turing thesis. Here we want to capture the intuitive notion that, for example, two particular programs in perhaps different languages express the same algorithm, while other ones that compute the same function represent different algorithms for the function. Thus we want a definition that will up to some precise equivalence relation capture the notion that two algorithms are the same as opposed to just computing the same function”(Buss et al. 2001 ). See also Dean ( 2007 ) for a rich discussion on whether algorithms can be fairly regarded as abstract mathematical objects.

Indeed, Blass et al. ( 2009 ) argue that “one cannot give a precise equivalence relation capturing the intuitive notion of ‘the same algorithm.”’

The reader is referred to Rogers ( 1967 ) for the proof of this fact, and to Odifreddi ( 1989 ) for additional results concerning numberings.

Some equivalence between classical models of computation can be found in Odifreddi ( 1989 ).

For a classical defense of structuralism in philosophy of mathematics, the reader is referred to Resnik ( 1997 ).

Two noteworthy exception being Carter ( 2008 ) and McLarty ( 2008 ).

Awodey, S. 2014. Structuralism, invariance, and univalence. Philosophia Mathematica 22(1): 1–11.

CrossRef   Google Scholar  

Black, R. 2000. Proving Church’s thesis. Philosophia Mathematica 8(3): 244–258.

Blass, A., N. Dershowitz, and Y. Gurevich. 2009. When are two algorithms the same? Bulletin of Symbolic Logic 15(02): 145–168.

Burgess, J.P. 2015. Rigor and structure . Oxford: Oxford University Press.

Buss, S.R., A.S. Kechris, A. Pillay, and R.A. Shore. 2001. The prospects for mathematical logic in the twenty-first century. Bulletin of Symbolic Logic 7(02): 169–196.

Carter, J. 2008. Structuralism as a philosophy of mathematical practice. Synthese 163(2): 119–131.

Church, A. 1936. An unsolvable problem of elementary number theory. American Journal of Mathematics 58(2): 345–363.

Davis, M. 2006. Why there is no such discipline as hypercomputation. Applied Mathematics and Computation 178(1): 4–7.

De Mol, L. 2006. Closing the circle: An analysis of Emil Post’s early work. Bulletin of Symbolic Logic 12(02): 267–289.

Dean, W.H. 2007. What algorithms could not be . PhD thesis, Rutgers University-New Brunswick.

Google Scholar  

Descartes, R. 1628. Rules for the direction of the mind. In Selections . Trans. R.M. Eaton. New York: Charles Scribner’s Sons, 1927.

Epstein, R.L., and W. Carnielli. 1989. Computability: Computable functions, logic, and the foundations of mathematics . Pacific Grove: Wadsworth & Brooks/Cole.

Fallis, D. 2003. Intentional gaps in mathematical proofs. Synthese 134(1): 45–69.

Folina, J. (1998). Church’s thesis: Prelude to a proof. Philosophia Mathematica 6(3): 302–323.

Gandy, R. 1988. The confluence of ideas in 1936. In The Universal Turing machine: A half-century survey , ed. R. Herken, 55–111. Wien/New York: Springer.

Gödel, K. 1946. Remarks before the Princeton bicentennial conference on problems in mathematics. In Kurt Gödel: Collected works , ed. S. Feferman, J. Dawson, and S. Kleene, vol. II, pp. 150–153. Oxford: Oxford University Press.

Gurevich, Y. 2000. Sequential abstract-state machines capture sequential algorithms. ACM Transactions on Computational Logic (TOCL) 1(1): 77–111.

Hacking, I. 2014. Why is there philosophy of mathematics at all? Cambridge: Cambridge University Press.

Hilbert, D. 1899. Grundlagen der geometrie. In Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen , 1–92. Leipzig: Teubner.

Kleene, S.C. 1952. Introduction to metamathematics . Amsterdam: North Holland.

Lakatos, I. 1976. Proofs and refutations: The logic of mathematical discovery . Cambridge: Cambridge University Press.

Mancosu, P. 2008. The philosophy of mathematical practice . Oxford: Oxford University Press.

McLarty, C. 2008. What structuralism achieves. In Mancosu (2008).

Mendelson, E. 1990. Second thoughts about Church’s thesis and mathematical proofs. The Journal of Philosophy 87(5): 225–233.

Odifreddi, P. 1989. Classical recursion theory , vol. I. Amsterdam: North Holland.

Olszewski, A., J. Wolenski, and R. Janusz. 2006. Church’s thesis after 70 years . Frankfurt/New Brunswick: Ontos Verlag.

Post, E.L. 1936. Finite combinatory processes–formulation. The Journal of Symbolic Logic 1(03): 103–105.

Post, E.L. 1944. Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society 50(5): 284–316.

Rav, Y. 1999. Why do we prove theorems? Philosophia Mathematica 7(1): 5–41.

Resnik, M.D. 1997. Mathematics as a science of patterns . Oxford: Oxford University Press.

Rogers, H., Jr. 1967. Theory of recursive functions and effective computability . New York: McGraw-Hill.

Shapiro, S. 2006. Computability, proof, and open-texture. In Olszewski et al. (2006), 420–455.

Shapiro, S. 2010. Mathematical structuralism . Internet Encyclopedia of Philosophy. https://www.iep.utm.edu/m-struct/ . 25 June 2018.

Sieg, W. 1994. Mechanical procedures and mathematical experience. In Mathematics and mind , ed. A. George, 71–117. Oxford: Oxford University Press.

Soare, R.I. 1987a. Recursively enumerable sets and degrees . Perspectives in mathematical logic, omega series. Heidelberg: Springer.

Soare, R.I. 1987b. Interactive computing and relativized computability, In Computability: Turing, Gödel, Church, and beyond , ed. B.J. Copeland, C.J. Posy, and O. Shagrir, 203–260. Cambdrige: MIT Press.

Turing, A.M. 1936. On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society 2(1): 230–265.

Turing, A.M. 1948. Intelligent machinery. In Collected works of A.M. Turing: Mechanical intelligence , ed. D.C. Ince, 107–127. Amsterdam: North-Holland

Welch, P.D. 2007. Turing unbound: Transfinite computation. In Computation and logic in the real world , ed. B. Löwe, B. Cooper, and A. Sorbi, 768–780. Berlin: Springer.

Wittgenstein, L. 1980. Remarks on the philosophy of psychology. Oxford: Blackwell.

Download references

Acknowledgements

A preliminary version of this paper appeared as a chapter of my PhD thesis. I would like to thank my supervisors, Gabriele Lolli and Andrea Sorbi, for their guidance and support. I have presented this work at several conferences. In particular, I am grateful to the participants of APMP 2014, in Paris, and of FilMat 2016, in Chieti, for their comments. Finally, Richard Epstein’s remarks were fundamental in rethinking the organization of the present material.

Author information

Authors and affiliations.

Institute of Discrete Mathematics and Geometry, Technische Universität Wien, Vienna, Austria

Luca San Mauro

You can also search for this author in PubMed   Google Scholar

Corresponding author

Correspondence to Luca San Mauro .

Editor information

Editors and affiliations.

Classe di Lettere e Filosofia, Scuola Normale Superiore, Pisa, Italy

Mario Piazza

Department of Mathematics, Universidade Nova de Lisboa, Caparica, Portugal

Gabriele Pulcini

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this chapter

Cite this chapter.

Mauro, L.S. (2018). Church-Turing Thesis, in Practice. In: Piazza, M., Pulcini, G. (eds) Truth, Existence and Explanation. Boston Studies in the Philosophy and History of Science, vol 334. Springer, Cham. https://doi.org/10.1007/978-3-319-93342-9_13

Download citation

DOI : https://doi.org/10.1007/978-3-319-93342-9_13

Published : 25 October 2018

Publisher Name : Springer, Cham

Print ISBN : 978-3-319-93341-2

Online ISBN : 978-3-319-93342-9

eBook Packages : Religion and Philosophy Philosophy and Religion (R0)

Share this chapter

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

  • Publish with us

Policies and ethics

  • Find a journal
  • Track your research

IMAGES

  1. The Church-Turing Thesis

    church turing thesis example

  2. (DOC) The Church-Turing Thesis

    church turing thesis example

  3. (PDF) The Church-Turing Thesis

    church turing thesis example

  4. (PDF) A procedural interpretation of the Church-Turing Thesis

    church turing thesis example

  5. (PDF) The Church–Turing thesis: Still valid after all these years

    church turing thesis example

  6. (PDF) The Rise and Fall of the Church-Turing Thesis

    church turing thesis example

VIDEO

  1. Church Thesis| Turing Machine

  2. Turing machine in Automata : Part 1

  3. CHURCH'S THESIS in Telugu by Raja Sekhar Kummari

  4. turingPart2

  5. CHURCH

  6. How do Functional Programming Languages Do Anything?

COMMENTS

  1. Church-Turing thesis

    In computability theory, the Church-Turing thesis (also known as computability thesis, [1] the Turing-Church thesis, [2] the Church-Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a thesis about the nature of computable functions.

  2. Church's Thesis for Turing Machine

    Courses In 1936, A method named as lambda-calculus was created by Alonzo Church in which the Church numerals are well defined, i.e. the encoding of natural numbers. Also in 1936, Turing machines (earlier called theoretical model for machines) was created by Alan Turing, that is used for manipulating the symbols of string with the help of tape.

  3. The Church-Turing Thesis

    The Church-Turing Thesis First published Wed Jan 8, 1997; substantive revision Mon Dec 18, 2023 The Church-Turing thesis (or Turing-Church thesis) is a fundamental claim in the theory of computability. It was advanced independently by Church and Turing in the mid 1930s. There are various equivalent formulations of the thesis.

  4. PDF The Church-Turing Thesis

    no Turing machine exists. •According to Church-Turing thesis, no other formalism is more powerful than Turing machines. -Now, prove one of the most philosophically important theorems of the theory of computation: There is a specific problem (halting problem) that is algorithmically unsolvable.

  5. The Church-Turing Thesis

    1. The Thesis and its History Note on terminology 1.1 Making the informal concept of an effective method precise 1.2 Formulations of Turing's thesis in terms of numbers 1.3 The meaning of 'computable' and 'computation' in Turing's thesis 1.4 The Entscheidungsproblem 1.5 Comparing the Turing and Church approaches 1.6 Reasons for accepting the thesis

  6. The Church-Turing Thesis

    The Church-Turing Thesis First published Wed Jan 8, 1997; substantive revision Mon Aug 19, 2002 There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine.

  7. Church-Turing Thesis -- from Wolfram MathWorld

    The Church-Turing thesis has been extended to a proposition about the processes in the natural world by Stephen Wolfram in his principle of computational equivalence (Wolfram 2002), which also claims that there are only a small number of intermediate levels of computing power before a system is universal and that most natural systems are unive...

  8. PDF Harvard CS 121 and CSCI E-207 Lecture 14: The Church-Turing Thesis

    Variants of TMs, Church-Turing Thesis 1 ¥ Reading: Sipser, ¤ 3.2, ¤ 3.3. T M Ext ensions T hat Do Not Increase It s Power ¥ TMs with a 2-way inÞ nite tape á á á ! a b a a á á á Ð Unbounded tape to left as well as right ¥ Claim: Any language recognizable (resp., decidable) by a 2-way inÞ nite tape is also recognizable

  9. PDF MITOCW

    history of the subject, and going to lead to our discussion of what's called the Church Turing thesis. So we will get to that in due course. And we'll also talk about some notation for notations for Turing machines and for encoding objects to feed into Turing machines as input, but we'll get to that shortly as well. So let's move on, then.

  10. 12.9: The Church-Turing Thesis

    Definition 12.9.1 12.9. 1: Church-Turing thesis. The Church-Turing Thesis states that anything computable via an effective procedure is Turing computable. The Church-Turing thesis is appealed to in two ways. The first kind of use of the Church-Turing thesis is an excuse for laziness. Suppose we have a description of an effective procedure to ...

  11. PDF Church-Turing Thesis. E

    characterizations. There is, however, quite a body of evidence in the thesis' favor. Let us now survey some of it. The biggest piece of evidence is simply that every known enumeration procedure generates a E set and every known decision procedure determines a ) set. It's more than that.

  12. PDF A Formalization of the Church-Turing Thesis

    Abstract Our goal is to formalize the Church-Turing Thesis for a very large class of computational models. Specifically, the notion of an "effective model of computation" over an arbitrary countable domain is axiomatized. This is accomplished by modifying Gurevich's "Abstract State Machine" postulates for state-transition models.

  13. PDF 0.1 Extended Church-Turing Thesis

    The extended Church-Turing thesis is a foundational principle in computer science. It asserts that any "rea-sonable" model of computation can be efficiently simulated o n a standard model such as a Turing Machine or a Random Access Machine or a cellular automaton. This thesis forms the foundation of complexity the-ory — for example ...

  14. What is the Church-Turing Thesis?

    What is the Church-Turing Thesis? Udi Boker & Nachum Dershowitz Chapter First Online: 18 September 2022 530 Accesses 1 Citations 1 Altmetric Abstract We aim to put some order to the multiple interpretations of the Church-Turing Thesis and to the different approaches taken to prove or disprove it.

  15. PDF The Church-Turing Thesis

    The Church-Turing Thesis • Turing Machines • Variants of Turing Machines Contents • Recalling the computational models we have encountered thus far: (*) FA (very limited amount of memory) ... Here is an example run for the input 011000#011000 on M 1. Turing Machines . A few notes:

  16. Church Turing Thesis in Theory of Computation

    For example: This is a Polynomial: 35x 10 y 2 z 9 + 11x 6 z 7 + 103xyz + 17y 31 z 3 = 0. Is there an algorithm that can find if there exist a solution in integers? Note the solution is not needed. Only we need to find if such a solution exists or not.

  17. The Church-Turing Thesis: Logical Limit or Breachable Barrier?

    36 Church (who, like Turing, was working on the German mathematician David Hubert's Entscheidungsproblem) advanced "Church's thesis," which he expressed in terms of definability in his lambda calculus. Church's thesis.

  18. The Church-Turing thesis: logical limit or breachable barrier?

    key insights. ˽ The term "Church-Turing thesis" is used today for numerous theses that diverge significantly from the one Alonzo Church and Alan Turing conceived in 1936. ˽ The range of algorithmic processes studied in modern computer science far transcends the range of processes a "human computer" could possibly carry out.

  19. The Church-Turing Thesis

    The Church-Turing Thesis There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind. The Thesis and its History Misunderstandings of the Thesis

  20. PDF "The Church-Turing "Thesis" as a Special Corollary of Gödel's

    Church-Turing thesis, identifying the several mathematical definitions of recursive-ness or computability with intuitive computability, was something that could be ... for example, Kleene's classic trea-tise [1952, section 62, 317 - 323]). 2 Some reservations to this view are already expressed, albeit relatively weakly, in Shoenfield (1967 ...

  21. Church-Turing Thesis, in Practice

    We begin by recalling few aspects of the Church-Turing thesis (henceforth: CTT). Being CTT the conceptual cornerstone of Computability (and, in fact, of the whole theory of computation), it has been unsurprisingly the central topic of an incredibly vast philosophical literature. ... For example, Rogers' proofs are typically formulated without ...

  22. PDF A Formalization and Proof of the Extended Church-Turing Thesis

    The Church-Turing Thesis asserts that all effectively computable numeric functions are recursive and, likewise, they can be computed by a Turing machine, or—more p recisely—can be simulated under some ... For example, if an effective implementation includes decimal multiplication among its bootstrapped operations, then we do not want to ...

  23. 34

    For example: it is a technical result that PA is not a recursively decidable theory. But what makes that theorem really significant is that - via the Thesis - we can conclude that there is no intuitively effective procedure for deciding what's a PA theorem. Type Chapter Information An Introduction to Gödel's Theorems , pp. 315 - 323