Curated Tumblr

4076 readers

1 users here now

For preserving the least toxic and most culturally relevant Tumblr heritage posts.

Image descriptions and plain text captions of written content are expected of all screenshots. Here are some image text extractors (I looked these up quick and will gladly take FOSS recommendations):

-web

-iOS

-android

Please begin copied raw text posts (lacking a screenshot that makes it apparent it is from Tumblr) with:

# This has been reposted here to Lemmy as part of the "Curated Tumblr Project."

I made the icon using multiple creative commons svg resources, the banner is this.

founded 2 years ago

MODERATORS

Apytele

[email protected]

738

Senses (slrpnk.net)

submitted 1 week ago by [email protected] to c/curatedtumblr

125 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 6 days ago (1 children)

https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems

[–] [email protected] 3 points 6 days ago

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.