undefined | Better HN

0 pointsSimHacker14y ago0 comments

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.

0 comments

ufo14y ago

The 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.)

j / k navigate · click thread line to collapse

0 pointsSimHacker14y ago0 comments

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.

0 comments

ufo14y ago

j / k navigate · click thread line to collapse