140
SUNS OUT GUNS OUT (mander.xyz)
submitted 2 weeks ago by [email protected] to c/[email protected]
19 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[-] [email protected] 4 points 2 weeks ago

The result is insane in my opinion, it means any sensible math system with basic arithmetic has a proposition that you cannot prove.

Stated more precisely, it has true propositions that you cannot prove to be true. Obviously it has false propositions that can't be proven, too, but that's not interesting.

this post was submitted on 27 May 2025
140 points (94.9% liked)

Science Memes

15202 readers
1705 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.

Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.

Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS
[email protected]
[email protected]
[email protected]
[email protected]