this post was submitted on 30 Dec 2024
752 points (96.9% liked)
Curated Tumblr
5242 readers
26 users here now
For preserving the least toxic and most culturally relevant Tumblr heritage posts.
Here are some OCR tools to assist you in transcribing posts:
-
FOSS Android Recs per u/m_f@discuss.online: 1 , 2
Don't be mean. I promise to do my best to judge that fairly.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
the incompleteness theorems are a part of this broader point as well, since they basically say we can’t choose a perfect system that has everything we want. but still, the incompleteness theorems themselves require making assumptions. you still need to assume some axioms for them to apply, in addition to picking a set of logical rules to follow. and those logical rules aren’t set in stone either. some mathematicians don’t subscribe to the law or the excluded middle, and it makes for some interesting mathematics. for example, it lets you define an infinitesimal as something that’s basically “not not zero”, while still being different from zero.