Search News from Limbo

Saturday, February 22, 2014

And yet, he can't be ignored

Alan Turing's seminal paper was littered with errors,
according to Donald Davies, who worked with Turing on development of an electronic computer.

Davies referred to the mistakes in On computable numbers, with an application to the entscheidungsproblem as routine "programing errors," though he argued that one of them strongly affected Turing's undecidability proof.

Turing had corrected a few errors shortly after publication of his paper, but, said Davies, was quite annoyed by Davies's list of proposed corrections, with Turing arguing that the flubs did not affect the conceptual proof.

No comments:

Post a Comment