2 ms·
Not familiar with the concept, but how does it square with Godels Incompleteness theory, is any mathematical universe even possible?
by pbhjpbhj 6y ago
Not familiar with the concept, but how does it square with Godels Incompleteness theory, is any mathematical universe even possible?
- drdeca 6y agoThere is no conflict. An antidote to common misunderstandings of Gödel’s incompleteness theorems may be to understand Gödel’s completeness theorem.
- a1369209993 6y agoThe closest GIT gets to being relevant is that some mathematical universes exist (or 'exist') that cannot be proven to exist. Alternatively - since Godel's Incompleteness Theorm is the same thing thing as the Halting Problem - some simulations that can't be proven valid (ie that each step of the simulation halts) are nonetheless valid.