the math/philosophy overlap in set theory/logic makes me uneasy. the closer you get to it, the more the idea that “math is objective” starts to fade away. also pretty surreal to be learning philosophy/taking things as given in a math class. especially because you spend a lot of time proving that certain things are true, but you don’t ever say what it means for something to be true.
the math/philosophy overlap in set theory/logic makes me uneasy. the closer you get to it, the more the idea that “math is objective” starts to fade away. also pretty surreal to be learning philosophy/taking things as given in a math class. especially because you spend a lot of time proving that certain things are true, but you don’t ever say what it means for something to be true.
All roads lead to Rome.
We already know that math isn’t objective due to Godel’s incompleteness theorem
how does that follow from Gödel’s incompleteness theorems?
Godel’s second theory of incompleteness states that a formal system cannot prove its own consistency
I think that’s as close as you can get to “math is not objective”