On computable numbers: With an application to the Entscheidungsproblem
Turing, A.M. (1936)
Proceedings of the London Mathematical Society, ser. 2, 42,
- Nominator's statement
- The article that started it all. In this paper Turing laid down the foundation for the idea that computers can do more than just calculation. This is expressed more elaborately in his 1950 paper.
comments
- This work introduced the concept of a 'logical computing machine' (now known as the Turing machine). It proved Turing's Theorm (that a Universal' Turing Machine can compute any function that any other Turing Machine can). Also, it discussed 'Turing's Thesis' (that whenever there is an effective' or mechanical' method for computing the values of a function, the function can be computed by a Turing machine).
- Clearly one of the two or three most important works in cognitive science. Without it there wouldn't be any such field.
- This is definitely one of the most important works in cognitive science in this century.
Nominations have closed, but you can still add a comment to this
nomination.