Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
'On Computable Numbers...' lays out the foundation of what today we call the theory of computation. Turing points out that there are sequences of zeros and ones that no computer can generate. He also cracked one of the outstanding problems in formal logic at the time, the Endtscheidungsproblem, or decision problem. This course from the point of view of programmer, not a mathematician.
