this post was submitted on 30 Dec 2024
741 points (96.8% liked)
Curated Tumblr
4215 readers
226 users here now
For preserving the least toxic and most culturally relevant Tumblr heritage posts.
The best transcribed post each week will be pinned and receive a random bitmap of a trophy superimposed with the author's username and a personalized message. Here are some OCR tools to assist you in your endeavors:
-
FOSS Android Recs per u/[email protected]: 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.