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.
Alan Turing Rahul Ilango Massachusetts Institute Of Technology Massachusetts Institute Quanta Magazine Computer Science
Source: wired.com