see also https://cstheory.stackexchange.com/questions/3650/historical-reasons-for-adoption-of-turing-machine-as-primary-model-of-computatio/3680#3680 https://cs

see also https://cstheory.stackexchange.com/questions/3650/historical-reasons-for-adoption-of-turing-machine-as-primary-model-of-computatio/3680#3680 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/B/12 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.