Science Memes

11068 readers

3300 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]

567

Geometry (mander.xyz)

submitted 4 months ago by [email protected] to c/[email protected]

54 comments fedilink hide all child comments

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

[–] [email protected] 79 points 4 months ago (18 children)

the point isn't to prove that the triangle is a triangle it's to prove that the system of mathematics you made up actually works

[–] [email protected] 18 points 4 months ago (10 children)

Until you prove that you can't prove that the system you made up works.

[–] [email protected] 3 points 4 months ago (6 children)

Nobody is practically concerned with the "incompleteness" aspect of Gödel's theorems. The unprovable statements are so pathological/contrived that it doesn't appear to suggest any practical statement might be unprovable. Consistency is obviously more important. Sufficiently weak systems may also not be limited by the incompleteness theorems, i.e. they can be proved both complete and consistent.

[–] [email protected] 2 points 4 months ago (1 children)

I think the statement "this system is consistent" is a practical statement that is unprovable in a sufficiently powerful consistent system.

Can you help me understand the tone of your text? To me it sounds kinda hostile as if what you said is some kind of gotcha.

[–] [email protected] 1 points 4 months ago

Just explaining that the limitations of Gödel's theorems are mostly formal in nature. If they are applicable, the more likely case of incompleteness (as opposed to inconsistency) is not really a problem.

load more comments (4 replies)

load more comments (7 replies)

load more comments (14 replies)