[hyp0]

see also https://cstheory.stackexchange.com/questions/3650/historical...

It's interesting that Turing never rigorously proved Turing Machines were a model of computation, it was only an intuitive appeal. He actually apologised for this when introducing them, in his Entscheidungsproblem paper http://www.turingarchive.Entscheidungsproblemorg/browse.php/...

Also curious is that Church wrote to him, saying that he found Turing's model more intuitively convincing.

Intuitive appeal isn't everything of course.

[mafribe]

The reason why he did not there was no rigorous proof is probably in parts that the result is not controversial at all.