The Church-Turing Thesis: Consensus and Opposition

@inproceedings{Davis2006TheCT,
  title={The Church-Turing Thesis: Consensus and Opposition},
  author={M. Davis},
  booktitle={CiE},
  year={2006}
}
  • M. Davis
  • Published in CiE 2006
  • Computer Science
  • Many years ago, I wrote [7]: It is truly remarkable (Godel ...speaks of a kind of miracle) that it has proved possible to give a precise mathematical characterization of the class of processes that can be carried out by purely machanical means. It is in fact the possibility of such a characterization that underlies the ubiquitous applicability of digital computers. In addition it has made it possible to prove the algorithmic unsolvability of important problems, has provided a key tool in… CONTINUE READING

    Topics from this paper.

    Physical constraints on hypercomputation
    • 9
    • PDF
    Practical Intractability: A Critique of the Hypercomputation Movement
    • 4
    • PDF
    Mathematical and Technological Computability
    • 1
    A Hardware Relaxation Paradigm for Solving NP-Hard Problems
    • 3
    • PDF
    Turing and the development of computational complexity
    • 1
    • PDF
    Technology and Mathematics

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 32 REFERENCES
    Shadows of the Mind: A Search for the Missing Science of Consciousness
    • 480
    • PDF
    The Universal Turing Machine: A Half-Century Survey
    • 423
    The Universal Computer: The Road from Leibniz to Turing
    • M. Davis
    • Mathematics, Computer Science
    • 2000
    • 200
    • PDF
    Alan Turing: Life and Legacy of a Great Thinker
    • 199
    • PDF
    Why Gödel Didn't Have Church's Thesis
    • M. Davis
    • Mathematics, Computer Science
    • 1982
    • 103
    Engines of Logic: Mathematicians and the Origin of the Computer
    • 84
    • PDF
    Computability and Unsolvability
    • M. Davis
    • Mathematics, Computer Science
    • 1958
    • 833
    • PDF
    The Emperor's New Mind
    • 2,159
    • PDF