“How do you know?” “Because of Gödel’s Incompleteness Theorem.” “Of what?” “It’s a theorem in mathematics.” Peter sounded bizarrely chipper. “I learned about it when I was a child. Basically, it says no theory of mathematics can ever be complete, because for any reasonable mathematical system there will always be truths that the system cannot prove. Math has its limits. There’s always something we don’t know. Some people think Gödel’s theorem proves the existence of God.” “But it doesn’t prove anything at all.” “It does, though. It proves there’s always another option. It proves no system is
...more
