cross-posted from: https://lemmy.world/post/30756980
Oh really?
In a user manual I came across recently.
The essence of Gödel's incompleteness proof
cross-posted from: https://lemmy.world/post/30756980
Oh really?
In a user manual I came across recently.
2 Comments
FundMECFSResearch@lemmy.blahaj.zone · 8 pts · 1y
ie. If the page says “this page is blank” it’s not blank so it’s false.
But if the page is actually blank, it can’t prove it’s blank because nothing is on it.
=> Incompleteness
(obviously massive oversimplification but thought it might be a nice metaphor to show the basic logic behind the proof)
h3mlocke@lemm.ee · 2 pts · 1y
Seems blank to me.