• Corpus ID: 2213259

The origins of the Turing thesis myth

@inproceedings{Goldin2004TheOO,
  title={The origins of the Turing thesis myth},
  author={Dina Q. Goldin and Peter Wegner},
  year={2004}
}
In this paper, we identify and analyze the historical reasons for the widespread acceptance of what we call the Turing Thesis myth, which extends the Turing Thesis to imply that Turing Machines model all computers. This is the third in a series of related papers by the authors, beginning with [5] and continuing with [6]. 1 The Turing Thesis myth Turing's famous 1936 paper [15] developed the Turing Machine (TM) model and showed that TMs have the expressiveness of algorithms (Turing Thesis… 
THE MYTH OF UNIVERSAL COMPUTATION ∗
It is shown that the concept of a Universal Computer cannot be realized. Speci cally, instances of a computable function F are exhibited that cannot be computed on any machine U that is capable of
Simulation Quantization: An Application of Physical Versions of the Church-Turing Thesis.
An integrable anharmonic oscillator is presumably simulable by a classical computer and therefore by a quantum computer. An integrable anharmonic oscillator whose Hamiltonian is of normal type and
THE STROBE MODEL: DYNAMIC SERVICE GENERATION ON THE GRID
TLDR
The paper shows how the STROBE model may not only account for the classical communicating agent approaches, but also represent a fundamental advance in modeling societies of agents in particular in dynamic service generation scenarios such as those necessary today on the Web and proposed tomorrow for the Grid.
Characterization of the Dynamic Service Generation Concept
TLDR
The concept of dynamic service generation is presented as a different way to provide services in computermediated contexts and promotes a substitution of an agentoriented kernel to the current object oriented kernel of services as the service oriented architecture and infrastructure for service exchanges between agents.
Adaptation and Evolution in Dynamic Persistent Environments
Abductive Reasoning and ICT Enhanced Learning: Towards the Epistemology of Digital Nomads
TLDR
I suggest that abduction is the mobile (or “pedestrian”) form of reasoning par excellence because it meets the demands of a mobile learner envisioned by constructivist pedagogues and there are certain features connected to advanced mobile technologies by which one may overcome some limitations of ICT-enhanced education and edutainment.

References

SHOWING 1-10 OF 14 REFERENCES
Turing’s Ideas and Models of Computation
TLDR
This chapter identifies three principles underlying super-Turing computation (interaction with the world, infinity of resources, and evolution of systems) and applies these principles in the discussion of the implications of super-turing computation for the future of computer science.
Formal languages and their relation to automata
  • J. Hopcroft, J. Ullman
  • Computer Science
    Addison-Wesley series in computer science and information processing
  • 1969
TLDR
The theory of formal languages as a coherent theory is presented and its relationship to automata theory is made explicit, including the Turing machine and certain advanced topics in language theory.
The Turing machine paradigm in contemporary computing
TLDR
The work of Hartmanis, Stearns, Karp, Cook and others showed that the refinement of the theory to resource-bounded computations gave the means to explain the many intuitions concerning the complexity or ‘hardness’ of algorithmic problems in a precise and rigorous framework.
Introduction to the Theory of Computation
TLDR
Throughout the book, Sipser builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own.
On computable numbers, with an application to the Entscheidungsproblem
  • A. Turing
  • Computer Science
    Proc. London Math. Soc.
  • 1937
TLDR
This chapter discusses the application of the diagonal process of the universal computing machine, which automates the calculation of circle and circle-free numbers.
Intelligence Without Reason
TLDR
It is claimed that the state of computer architecture has been a strong influence on models of thought in Artificial Intelligence over the last thirty years.
Artificial Intelligence: A Modern Approach
The long-anticipated revision of this #1 selling book offers the most comprehensive, state of the art introduction to the theory and practice of artificial intelligence for modern applications.
The field of programmers myth
The persistent public image of computing as a field of programmers has become a costly myth. Reversing it is possible but not easy.
Computation beyond turing machines
TLDR
Researchers are seeking appropriate methods to model computing and human thought to help improve the quality of knowledge in the rapidly changing environment.
Why interaction is more powerful than algorithms
...
...