Gödel

Then later in college, learning Gödel's Incompleteness Theorem, I would say that's maybe my favorite proof of anything. That's one of the most astonishing results that science has ever produced: this idea that we can prove that logic systems can never be complete.

John Watkinson, Larva Labs on Computation’s Strangeness

There was an idea that eventually we wouldn’t need mathematicians, that we could just have these mechanical logic systems that could prove anything you want. But Gödel’s result put a wrench in that. It had big reverberations on the philosophical space.

John Watkinson, Larva Labs on Computation’s Strangeness