Turing's contributions to WW-II code breaking are well known, his contributions to computer science perhaps somewhat less so. It may turn out, however, that his most important and influential contribution was showing that the Decision Problem is undecidable. In 1900 mathematician David Hilbert posed a series of open…