The essence of Gödel's incompleteness proof
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.
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.
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)
Seems blank to me.