this post was submitted on 17 Jul 2024
567 points (97.8% liked)

Science Memes

10940 readers
1877 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
 
you are viewing a single comment's thread
view the rest of the comments
[–] Honytawk@lemmy.zip 1 points 3 months ago (2 children)
[–] bitfucker@programming.dev 5 points 3 months ago

No, see Gödels Incompleteness theorem

[–] weker01@feddit.de 2 points 3 months ago

It's very counter intuitive. As the other commenter suggested I was referring to Gödel and his incompleteness theorem.

Actually if the system you made up doesn't work it would be possible to prove that it does inside that system as you can prove anything inside a system that doesn't work.

That is why my comment is not entirely accurate it should actually be: Until you prove that if the system works you can't prove that the system works.

Can you spot the difference in the logic here?