Apparently so. See: “This is Math’s Fatal Flaw” (Veritasium, 33:59 min), May 22, 2021
Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the modern computer.
Indeed. That was the remarkable insight of Kurt Gödel (1906–1978), which destroyed formerly triumphant positivist philosophy.
When you get to the bottom of the universe (if you do), it’s mostly questions, not answers.
Don’t miss: Gregory Chaitin’s almost-meeting with Kurt Gödel. (Yes, that Gregory Chaitin, of Chatin’s unknowable number.)
Hat tip: Philip Cunningham
Copyright © 2021
Uncommon Descent
. This Feed is for personal non-commercial use only. If you are not reading this material in your news aggregator, the site you are looking at is guilty of copyright infringement UNLESS EXPLICIT PERMISSION OTHERWISE HAS BEEN GIVEN. Please contact legal@uncommondescent.com so we can take legal action immediately.
Plugin by
Taragana
Published on May 30, 2021 07:07