Take the 2-minute tour ×
Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It's 100% free, no registration required.

It's my understanding that Turing's model has come to be the "standard" when describing computation. I'm interested to know why this is the case -- that is, why has the TM model become more widely-used than other theoretically equivalent (to my knowledge) models, for instance Kleene's μ-Recursion or the Lambda Calculus (I understand that the former didn't appear until later on and the latter wasn't originally designed specifically as a model of computation, but it shows that alternatives have existed from the start).

All I can think of is that the TM model more closely represents the computers we actually have than its alternatives. Is this the only reason?

share|improve this question
1  
while they are not directly on the same topic, the questions cstheory.stackexchange.com/questions/625/… and cstheory.stackexchange.com/questions/1117/… explore the relationship between TMs and the $\lambda$-calculus, and have some historical elements. –  Suresh Venkat Dec 8 '10 at 20:23
    
Yes, I saw those. I understand fairly well the literal histories of the various theories, but I'm more interested in the developments over time that led to the current "preferences" in the field, if you will. –  Evan Dec 8 '10 at 20:31
2  
Actually there are models which are (arguably) closer to real computers, see this question. Generally the best model depends on the needs and they are different from one area to another. –  Kaveh Dec 8 '10 at 23:41

5 Answers 5

up vote 36 down vote accepted

This seems to be true in the context of (some areas of) computer science but not generally.

One reasons has to do with the Church's Thesis. The main reason is that some experts like Godel didn't think that the arguments that previous/other models of computation capture exactly the intuitive concept of computation were convincing. There are various arguments, Church had some, but they did not convince Godel. On the other hand Turing's analysis was convincing for Godel so it was accepted as the model for effective computation. The equivalences between different models is proven later (I think by Kleene).

The second reason is technical and a later development related to the study of complexity theory. Defining the complexity measures like time, space, and nondeterminism seems to be easier using Turing machines than other models like $\lambda$-calculus and $\mu$-recursive functions.

On the other hand, $\mu$-recursive functions were and are still used as the main way of defining computability in logic and computability theory books. They are easier to work with when one only cares about effectiveness and not about complexity. Kleene's book "Metamathematics" was very influential for this development. Also $\lambda$-calculus seems to be more common in CMU/European style computer science like programming languages and type theory. Some authors prefer the RAM and Register Machine models. (It seems to me that for some reason Americans adopted Turing's semantic model and Europeans adopted Church's syntactic model, Chruch was American and Turing was British. This a personal opinion/observation and others have a different view. Also see these papers by Viggo Stoltenberg-Hansen and John V. Tucker I,II.)

Some resources for further reading:

Robert I. Soare has a number of articles on the history of these developments, I personally like the one in the Handbook of Computability Theory. you can find more by checking the references in that paper.

Another good resource is Neil Immerman's computability article on SEP, see also Church-Turing Thesis article by B. Jack Copeland.

Godel's collected works contains lots of information on his views. Specially introductions to his articles are extremely well-written.

Kleene's "Metamathematics" is a very nice book.

Finally, if you are not still satisfied check the archives of the FOM mailing list, and if you cannot find an answer in the archive post a an email to the mailing list.

share|improve this answer
    
Please let me know if I have got something wrong. –  Kaveh Dec 8 '10 at 23:37
    
Wow, this is great info. Thanks for the resources, I'll check them out (I was planning to read Metamathematics -- I'll bump it up the queue). –  Evan Dec 9 '10 at 0:01
    
You are welcome, hopefully I haven't got it wrong. :) –  Kaveh Dec 9 '10 at 0:15
    
There was a recent talk by Robert Soare at INI. As I understand it, the main reason for changing to Turing model and computability from recursive functions and recursion theory for him is the following: it is hard to understand and work in recursion theory to the point where no one was understanding what was going on except a few, the change to computability made it much easier to understand and revived the area. –  Kaveh Jun 25 '12 at 2:14

I would like to weaken the claim that TMs are the primary model of computation, or at least point towards another dimension of the question. Clearly TMs are dominant in the more complexity- and algorithmically-oriented parts of computer science, but in programming language theory and practise, they are not particularly dominant. There are various reasons for this, but maybe the most important is that TMs or programs running on TMs (unlike e.g lambda-calculi or process-calculi) are not constructed in an algebraic manner. This makes it difficult to develop type-theories, which have been the mainstay of programming language theory.

share|improve this answer
    
Also, TM programs aka transition tables are not really humanly readable. –  Raphael Dec 11 '10 at 12:31

One of the nice things about Turing machines is that they work on strings instead of natural numbers or lambda terms, because the input and the output of many problems can be naturally formulated as strings. I do not know if this counts as a “historical” reason or not, though.

share|improve this answer

Beside the fact that Turing machines are a convincing model of pen-and-paper computation (the “intuitive notion of computation”), I think they possess a series of features that are often useful, particularly when proving theorems about them:

  • they are easy to describe formally and have simple operational semantics;
  • it’s easy to give a concrete definition of their time and space complexity;
  • more realistic (and complex) models of electronic computers, such as random access machines, can be simulated by TMs with a polynomial overhead, and vice versa.
share|improve this answer
    
Sometimes the facility of description seems to hinder the usefulness of TMs, since descriptions can quickly devolve into plain-English explanations if you're not careful (at least, if I'm not careful... Admittedly I'm a novice). –  Evan Dec 9 '10 at 0:03
    
Your reasons do not exclude register machines, for example. –  Raphael Dec 9 '10 at 9:42
    
Well, that depends on the precise notion of “register machine” you consider. For instance, those having only increment, decrement and jump operations cannot simulate TMs in polynomial time. –  Antonio E. Porreca Dec 9 '10 at 11:15
1  
I suspect that TMs are more intuitive only because they are presented as machines, rather than as abstract mathematical operations. If $\lambda$-calculus was presented as a "term rewriting" machine, then it would be (more) intuitive. Note the Alligator Eggs childrens' game for teaching them $\lambda$-calculus worrydream.com/AlligatorEggs –  Rob Apr 9 '11 at 8:03

It was the first to have impact and thus has been established, especially in complexity theory. This is a weak reason, but people work that way. We work on old open problems first instead of declaring new ones.

share|improve this answer
7  
"We work on old open problems first instead of declaring new ones." <-- I think, if anything, the opposite is true, especially in a field where the old questions are extremely hard. There are relatively few people working in circuit complexity for instance (though perhaps there will be more now!). People need to work on problems they can solve in order to publish; this generates a constant flow of newly-declared solvable problems. –  Aaron Sterling Dec 9 '10 at 2:56
    
I was a bit hasty in my wording there. I feel that oftentimes people rather stick to an established model than building a new one (and proving its basic properties) if there is no overwhelming reason for it. That feeling might be off, obviously. In particular, there are of course people who hunt models in the first place. –  Raphael Dec 9 '10 at 9:40
    
Well, lambda calculus came first. But Turing showed that Turing machines model accurately the basics of humans doing computations; this was only done for lambda calculus when proving equivalence. Moreover, this equivalence is only true for first-order computation: cstheory.stackexchange.com/q/1117/989 - higher-order data does not really exist on paper. It doesn't even exist in computer's memories, but it can be perfectly simulated. –  Blaisorblade Mar 24 at 14:55

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.