Austin Ruse kindly sent me a note to tell me George Gilder referenced Uncertainty in the introduction to his new book, Life After Google: The Fall of Big Data and the Rise of the Blockchain Economy.
From pages 16-17:
Though Gödel’s proof frustrated many, von Neumann found it liberating. The limits of logic—the futility of Hilbert’s quest for a hermetically sealed universal theory—would emancipate human creators, the programmers of their machines. As the philosopher William Briggs observes, “Gödel proved that axiomatizing never stops, that induction-intuition must always be present, that not all things can be proved by reason alone.”
Universals cannot be proved. Axioms can’t be proved. Not in any empirical sense. What mathematical proof exists, even, for any axiom? None. They are accepted because they are true, they are believed because they are true. But how do we know they are true?
By that induction-intuition and induction-intellection. These are higher forms of proof than mere deduction. We learn our best truths by revelation, as it were, and as it is.
Regular readers will know all about this already. So I won’t belabor it here. Newer readers can look to this page for many articles.
Now this is a promotion, “philosopher”. The highest title I had heretofore was Staff Sergeant, which is still my favorite. That blogger guy, Some kind of Catholic nut, climate denier, X-ophobe, X-ist, where X is a variable, are others you might have heard. The titles most often used about me can’t, of course, be printed here, this being a family blog.
Still, I’ll take philosopher. Thus it is a day of celebration. It was already an International Day of Celebration, and this, it must be clear, makes it a day of Universal Celebration. Let the angels sing and so forth.
Therefore, the drinks are on me. Today. That’s if you happen to see me walking down the street. I’ll be out, too. Wearing a fedora. As usual.