Alan Turing and the Power of Negative Thinking

Alan Turing and the Power of Negative Thinking

Turingโ€™s diagonalization proof is a version of this game where the questions run through the infinite list of possible algorithms, repeatedly asking, โ€œCan this algorithm solve the problem weโ€™d like…