recursion theory.txt

2
Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church, Alan Turing, Stephen Kleene and Emil Post.[1] The fundamental results the researchers obtained established Turing computabilit y as the correct formalization of the informal idea of effective calculation. Th ese results led Stephen Kleene (1952) to coin the two names "Church's thesis" (K leene 1952:300) and "Turing's Thesis" (Kleene 1952:376). Nowadays these are ofte n considered as a single hypothesis, the Church Turing thesis, which states that a ny function that is computable by an algorithm is a computable function. Althoug h initially skeptical, by 1946 Gödel argued in favor of this thesis:  "Tarski has stressed in his lecture (and I think justly) the great importanc e of the concept of general recursiveness (or Turing's computability). It seems to me that this importance is largely due to the fact that with this concept one  has for the first time succeeded in giving an absolute notion to an interesting  epistemological notion, i.e., one not depending on the formalism chosen.*"(Gödel 1946 in Davis 1965:84).[2] With a definition of effective calculation came the first proofs that there are problems in mathematics that cannot be effectively decided. Church (1936a, 1936b ) and Turing (1936), inspired by techniques used by Gödel (1931) to prove his inco mpleteness theorems, independently demonstrated that the Entscheidungsproblem is  not effectively decidable. This result showed that there is no algorithmic proc edure that can correctly decide whether arbitrary mathematical propositions are true or false. Many problems of mathematics have been shown to be undecidable after these initi al examples were established. In 1947, Markov and Post published independent pap ers showing that the word problem for semigroups cannot be effectively decided. Extending this result, Pyotr Novikov and William Boone showed independently in t he 1950s that the word problem for groups is not effectively solvable: there is no effective procedure that, given a word in a finitely presented group, will de cide whether the element represented by the word is the identity element of the group. In 1970, Yuri Matiyasevich proved (using results of Julia Robinson) Matiy asevich's theorem, which implies that Hilbert's tenth problem has no effective s olution; this problem asked whether there is an effective procedure to decide wh ether a Diophantine equation over the integers has a solution in the integers. T he list of undecidable problems gives additional examples of problems with no co mputable solution. The study of which mathematical constructions can be effectively performed is so metimes called recursive mathematics; the Handbook of Recursive Mathematics (Ers hov et al. 1998) covers many of the known results in this field.

Upload: svsreerama

Post on 04-Jun-2018

213 views

Category:

Documents


0 download

TRANSCRIPT

8/14/2019 recursion theory.txt

http://slidepdf.com/reader/full/recursion-theorytxt 1/1

Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church,Alan Turing, Stephen Kleene and Emil Post.[1]

The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation. These results led Stephen Kleene (1952) to coin the two names "Church's thesis" (Kleene 1952:300) and "Turing's Thesis" (Kleene 1952:376). Nowadays these are often considered as a single hypothesis, the ChurchTuring thesis, which states that any function that is computable by an algorithm is a computable function. Although initially skeptical, by 1946 Gödel argued in favor of this thesis:

  "Tarski has stressed in his lecture (and I think justly) the great importance of the concept of general recursiveness (or Turing's computability). It seemsto me that this importance is largely due to the fact that with this concept one has for the first time succeeded in giving an absolute notion to an interesting epistemological notion, i.e., one not depending on the formalism chosen.*"(Gödel1946 in Davis 1965:84).[2]

With a definition of effective calculation came the first proofs that there areproblems in mathematics that cannot be effectively decided. Church (1936a, 1936b) and Turing (1936), inspired by techniques used by Gödel (1931) to prove his incompleteness theorems, independently demonstrated that the Entscheidungsproblem is not effectively decidable. This result showed that there is no algorithmic procedure that can correctly decide whether arbitrary mathematical propositions are

true or false.

Many problems of mathematics have been shown to be undecidable after these initial examples were established. In 1947, Markov and Post published independent papers showing that the word problem for semigroups cannot be effectively decided.Extending this result, Pyotr Novikov and William Boone showed independently in the 1950s that the word problem for groups is not effectively solvable: there isno effective procedure that, given a word in a finitely presented group, will decide whether the element represented by the word is the identity element of thegroup. In 1970, Yuri Matiyasevich proved (using results of Julia Robinson) Matiyasevich's theorem, which implies that Hilbert's tenth problem has no effective solution; this problem asked whether there is an effective procedure to decide whether a Diophantine equation over the integers has a solution in the integers. T

he list of undecidable problems gives additional examples of problems with no computable solution.

The study of which mathematical constructions can be effectively performed is sometimes called recursive mathematics; the Handbook of Recursive Mathematics (Ershov et al. 1998) covers many of the known results in this field.