this post was submitted on 08 Oct 2024
802 points (98.1% liked)
memes
10278 readers
2195 users here now
Community rules
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 [email protected]
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.
Sister communities
- [email protected] : Star Trek memes, chat and shitposts
- [email protected] : Lemmy Shitposts, anything and everything goes.
- [email protected] : Linux themed memes
- [email protected] : for those who love comic stories.
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Indeed, and the reason why I think the incompleteness theorems are the nail in the coffin, is that otherwise you could at least prove that certain sets of axioms worked together, then you'd have some basis for the math you use, even if it was self-referential
But it turns out that is impossible, and what we choose as our foundation for the math we use is pretty much arbitrary. Although of course we have reasons to use what we use