3 ms·
And the number of companies still using COBOL and FORTRAN prove what? As Dr. Turing's proof demonstrates, they're both swiss army knives too.
by SimHacker 15y ago
And the number of companies still using COBOL and FORTRAN prove what? As Dr. Turing's proof demonstrates, they're both swiss army knives too.
- ufo 15y agoThe Church-Turing thesis is not a proof - it is a definition of computability. (The thesis is that it is the reasonable definition. For all I know someone could come up with a new kind of computation that is stringer then turing machines and then we would have to redefine our notions.)