I seriously disagree, incidentally. For example, it has some pretty specific assumptions about instantiation—it will be the sort of computer they had seventy some odd years ago. Because the single pool of memory, the single processor, the scan-one mechanism of traversal, all of these are assumptions which have serious effects on the very field the mathematical model was devised to consider, computability.
(And I can point out one good reason to doubt the Church-Turing thesis. A Turing machine is incapable of replicating the nondeterministic behavior of concurrent processing. I’ve never yet seen a process which depended on this nondeterminism, but it is nonetheless possible to devise one. Maybe to generate random numbers, I’m not sure.)
Thank you.
I seriously disagree, incidentally. For example, it has some pretty specific assumptions about instantiation—it will be the sort of computer they had seventy some odd years ago. Because the single pool of memory, the single processor, the scan-one mechanism of traversal, all of these are assumptions which have serious effects on the very field the mathematical model was devised to consider, computability.
(And I can point out one good reason to doubt the Church-Turing thesis. A Turing machine is incapable of replicating the nondeterministic behavior of concurrent processing. I’ve never yet seen a process which depended on this nondeterminism, but it is nonetheless possible to devise one. Maybe to generate random numbers, I’m not sure.)