You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

MrMind comments on Open Thread, May 25 - May 31, 2015 - Less Wrong Discussion

3 Post author: Gondolinian 25 May 2015 12:00AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (301)

You are viewing a single comment's thread. Show more comments above.

Comment author: MrMind 28 May 2015 07:40:14AM 3 points [-]

You first need to realize that Turing machine were invented before the first computer was ever built, and they were born as a mathematical model, an ideal construction.
The problem at the time was that there were certain natural classifications of functions on natural numbers, the recursive functions, and the Turing machine model helped to understand that partial recursive functions = computable functions.
Computable, at the time, meant that a human being was able to calculate them with the aid of pen and paper.

Nowadays, depending on the branch of computer science you want to study, either recursive functions or Turing machines are used as the default general model of 'computability', either to study specializations of that concepts (complexity) or to show that some class of functions cannot be computed (Turing jumps, oracles, etc.)
You can think of them as idealized computer, and they are a big deal in the sense that they are the cornerstone upon which all computer science is built, the same way 'the continuum' is a big deal for calculus.