In 1931, a 25 year-old Austrian named Kurt Gödel defied logic, literally, with his incompleteness theorems which proved that every formal system eventually fails. What made this discovery even more devastating was that Gödel himself was a logician and his theorems took the form of a logical proof. Essentially, he used logic to kill logic.
Of course, the systems we rely on every day are not formal logical systems. They’re far more vulnerable. From flaws in the design of their hardware and software, to errors in how data is collected, analyzed and used to make decisions, real-world technologies are riddled with weaknesses.
Author: Greg Satell