Aug 27, 2017 · 1 min read
I’m sure you’re sick of me by now, but in fact Turing was the first person to demonstrate the unsolvability of the halting problem, in his landmark 1937 paper, “On Computable Numbers, with an Application to the Entscheidungsproblem”
