FundMECFS@lemmy.blahaj.zone to Math Memes@lemmy.blahaj.zoneEnglish · 1 month agoThe essence of Gödel's incompleteness prooflemmy.worldimagemessage-square2fedilinkarrow-up133arrow-down10file-text
arrow-up133arrow-down1imageThe essence of Gödel's incompleteness prooflemmy.worldFundMECFS@lemmy.blahaj.zone to Math Memes@lemmy.blahaj.zoneEnglish · 1 month agomessage-square2fedilinkfile-text
cross-posted from: https://lemmy.world/post/30756980 Oh really? In a user manual I came across recently.
minus-squareFundMECFS@lemmy.blahaj.zoneOPlinkfedilinkEnglisharrow-up8·edit-21 month agoie. 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)
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.