[Home]History of Turing machine

HomePage | Recent Changes | Preferences

Revision 22 . . November 9, 2001 3:57 am by AxelBoldt
Revision 21 . . November 9, 2001 3:52 am by AxelBoldt
Revision 20 . . (edit) October 22, 2001 12:07 am by AxelBoldt [*link]
Revision 19 . . (edit) August 21, 2001 1:13 am by Jan Hidders
  

Difference (from prior major revision) (author diff)

Changed: 1c1
The Turing Machine is an abstract model of computer execution and storage introduced in 1936 by Alan Turing in On Computable Numbers, with an Application to the Entscheidungsproblem to give a mathematically precise definition of algorithm or 'mechanical procedure'. As such it is still widely used in theoretical computer science, especially in complexity theory and the theory of computation. The thesis that states that Turing machines indeed capture the informal notion of effective or mechanical method in logic and mathematics is known as Turing's thesis.
The Turing machine is an abstract model of computer execution and storage introduced in 1936 by Alan Turing in On Computable Numbers, with an Application to the Entscheidungsproblem to give a mathematically precise definition of algorithm or 'mechanical procedure'. As such it is still widely used in theoretical computer science, especially in complexity theory and the theory of computation. The thesis that states that Turing machines indeed capture the informal notion of effective or mechanical method in logic and mathematics is known as Turing's thesis.

Changed: 5c5
A Turing Machine consists of:
A Turing machine consists of:

HomePage | Recent Changes | Preferences
Search: