For me the more important implication of Godel is that mathematics itself is countable and thus measure zero. No matter how much we do, the infinite majority of the unknown will still be left to explore… And that’s just the math, not even talking about the dependent science (also measure zero). The unprovable stuff is just a tiny subset of this.
You know a lot more Maths than I do, and I agree with you (even if my thoughts in it all are more about having a fancy name to get people who claim both Positivism and “Maybe it’s all a simulation man” to recognise the hypocrisy of that).
My whole life-data-mismatch thing is from similar discussions with positivists, as I think life and consciousness is a pretty easy area to show that it doesn’t hold all the answers.
Back to the main point:
The idea that Maths is countable is pretty wild, and I’m gonna need to mull on it. Thanks for sharing.
For me the more important implication of Godel is that mathematics itself is countable and thus measure zero. No matter how much we do, the infinite majority of the unknown will still be left to explore… And that’s just the math, not even talking about the dependent science (also measure zero). The unprovable stuff is just a tiny subset of this.
You know a lot more Maths than I do, and I agree with you (even if my thoughts in it all are more about having a fancy name to get people who claim both Positivism and “Maybe it’s all a simulation man” to recognise the hypocrisy of that).
My whole life-data-mismatch thing is from similar discussions with positivists, as I think life and consciousness is a pretty easy area to show that it doesn’t hold all the answers.
Back to the main point:
The idea that Maths is countable is pretty wild, and I’m gonna need to mull on it. Thanks for sharing.