8 ms·
> in that the answer is already known. you realize this holds true for all of math right? outside of godel incompleteness potholes every proof/theorem is a per
by almostgotcaught 2y ago
> in that the answer is already known.
you realize this holds true for all of math right? outside of godel incompleteness potholes every proof/theorem is a permutation of ZFC. And you can fix the potholes by just filling them in with more Cs.
- diffeomorphism 2y agoThat seems shallow and not really useful. Like sorting is easy, just take all permutations and look at each one to see whether is sorted.... it just might you take longer than the heat death of the universe to actually do that.
- lanstin 2y agoThere are elementary Diophantine equations that are independent of ZFC. What is your approach for those?