MONDAY, JUNE 20, 2022
Afternoon delights: We're prepared to admit that we succumbed—that we did so over the weekend.
We had that 12-year-old kid in mind. We decided to take another shot at Our Most Intriguing Question:
Who the heck was Kurt Gödel? Also, did he actually prove or show anything? Did his work really make sense?
Who the heck was Gödel? We perused Professor Goldstein's book about his theorems again, but we also wandered afield. We checked to see what the leading authority said.
Kurt Friedrich Gödel (1906 – 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were using logic and set theory to investigate the foundations of mathematics, building on earlier work by the likes of Richard Dedekind, Georg Cantor and Frege.
That's the start of the leading authority's presentation on Gödel. The point we were struck by is this:
According to the leading authority, Gödel is considered to be one of the three "most significant logicians in history."
That said, you've heard of only one of the three. The other two? Not so much!
Very few people have ever heard of Frege. As far as that goes, very few people—though possibly a tiny few more—have heard of Gödel himself.
Many people have heard of Aristotle, but no one has heard of these other two. Our question would therefore be this:
What do you think that means? What does it mean when no one has heard of two of the three "most significant logicians" in the history of the western world? When no one has heard of the two "most significant logicians" of the past several thousand years!
What the heck do you think that means? Tomorrow afternoon, we'll continue along from there.
The gods have told us that we need to start posting the work which will eventually be found by that unnamed 12-year-old kid. According to The Voices, he or she will eventually find our work and will go on to save civilization, much as the Irish once did.
For that reason, these afternoon postings will continue. And yes, we still want to be convinced that Gödel's theorems—he was one of the top three of all time—actually do make sense!
Do Gödel's theorems really make sense? Yes, we're actually asking.
We don't think it's clear what the answer will be. As we noted some time back, the gods have selected Kevin Drum to be the ultimate judge.
No fair asking around in Paris! The gods are quite firm about that.
Somewhat fuller disclosure: According to The Sources, this 12-year-old kid will have the skills which equip him to save the world.