Godel’s incompleteness theorm: All systems will fail at some point
It’s a seemingly small idea that has enormous consequences. Godel created an incredibly innovative method called Gödel numbering to prove that all systems are either incomplete or inconsistent.
No matter how they are constructed, they will eventually end up with a statement that is both true and not true by the rules of the system.
It means that every logical system will fail and every computer program will crash, it’s just a matter of time.
You can never fix the system, because systems themselves are necessarily broken.
Hmm, physics has been able to blame maths for being wrong for far too long now.
Logic has been a bit screwed since we discovered it was screwed.