Science Memes

15202 readers

1336 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

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

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

Research Committee

[email protected]

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]

132

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] 2 points 2 weeks ago (2 children)

I don't know much about this, but I can't help but think that "complete" and "consistent" are doing a lot more work in that sentence than my current understanding of the terms would lead me to believe.

[–] someacnt 7 points 2 weeks ago (1 children)

I am sure there was a typo, it's Gödel's incompleteness theorem which proves that consistent systems are incomplete.

Consistency means likely what you expect: it's that you cannot reach contradiction from very axioms.

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

It is completionist's worst nightmare.

[–] [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.