this post was submitted on 08 Oct 2024
802 points (98.1% liked)

memes

10181 readers
3051 users here now

Community rules

1. Be civilNo trolling, bigotry or other insulting / annoying behaviour

2. No politicsThis is non-politics community. For political memes please go to !politicalmemes@lemmy.world

3. No recent repostsCheck for reposts when posting a meme, you can only repost after 1 month

4. No botsNo bots without the express approval of the mods or the admins

5. No Spam/AdsNo advertisements or spam. This is an instance rule and the only way to live.

Sister communities

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] SkyeStarfall@lemmy.blahaj.zone 1 points 4 weeks ago

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