I spent the early weeks of the Covid pandemic learning how the 25-year-old Austrian logician and mathematician did such a thing, and then writing a rundown of his proof in fewer than 2,000 words. (My wife, when I reminded her of this period: “Oh yeah, that time you almost went crazy?” A slight exaggeration.)

But even after grasping the steps of Gödel’s proof, I was unsure what to make of his theorems, which are commonly understood as ruling out the possibility of a mathematical “theory of everything.” It’s not just me. In Gödel’s Proof (opens a new tab) (a classic 1958 book that I heavily relied upon for my account), philosopher Ernest Nagel and mathematician James R. Newman wrote that the meaning of Gödel’s theorems “has not been fully fathomed.”