624
Sounds like a waste of time
(lemmy.world)
1. Be civil
No trolling, bigotry or other insulting / annoying behaviour
2. No politics
This is non-politics community. For political memes please go to !politicalmemes@lemmy.world
3. No recent reposts
Check for reposts when posting a meme, you can only repost after 1 month
4. No bots
No bots without the express approval of the mods or the admins
5. No Spam/Ads
No advertisements or spam. This is an instance rule and the only way to live.
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?