5 ms·
I'm speaking out of my expertise here, but I think he's referring to Godel's incompleteness theorum/the halting problem, when he says 'no basis'.
by sewercake 8y ago
I'm speaking out of my expertise here, but I think he's referring to Godel's incompleteness theorum/the halting problem, when he says 'no basis'.
- bloaf 8y agoIt could also be the admission that you can't beat pure skepticism. That is, you can't actually beat Descartes' deceiving demon; you need to start any line of reasoning with an assumption that your reasoning is somewhat sound. When you're starting out to build a foundation, you have no basis for making that assumption.
- justinpombrio 8y agoWe're up to three completely different interpretations of "like a house with many doorways but no foundation, where every floor is supported by another ceiling and there is no ultimate truth". My takeaway: be wary of analogies; they will be misunderstood.
- myWindoonn 8y agoYou grokked it. Imagine standing on a vast desert. You have, floating above you, the HYPERCUBE. You could choose to climb up into the HYPERCUBE, but it has no exits. In a serious, non-trivial sense, mathematics is the pattern science. If you choose to believe that reality has underlying patterns, then mathematics is unavoidable. To respond to the grandparent, we can put sets on categories, types on categories, categories on sets, logic on sets, logic on categories, etc. Who cares which foundations you pick, when they all can build from each other?