Alan Turing and the Power of Negative Thinking

Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.

https://www.wired.com/story/alan-turing-and-the-power-of-negative-thinking/