▲ 549 ▼ Geometry (mander.xyz) submitted 2 years ago by fossilesque@mander.xyz to c/science_memes@mander.xyz 43 comments fedilink hide all child comments
[–] Honytawk@lemmy.zip 1 point 2 years ago (2 children) Then it doesn't work permalink fedilink source parent hideshow 4 child comments replies: [–] bitfucker@programming.dev 5 points 2 years ago No, see Gödels Incompleteness theorem permalink fedilink source parent [–] weker01@feddit.de 2 points 2 years 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? permalink fedilink source parent
[–] bitfucker@programming.dev 5 points 2 years ago No, see Gödels Incompleteness theorem permalink fedilink source parent
[–] weker01@feddit.de 2 points 2 years 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? permalink fedilink source parent
