math @lemmy.world mrh @lemmy.world 2y ago Gödel's second incompleteness theorem explained in words of one syllable languagelog.ldc.upenn.edu /myl/BoolosOneSyllable.pdf
Ah fuck thats the first one. Let me try his next one:You can't prove your maths doesn't have a fact which is both true and false.
You need lots of claims to get good maths.
Ah fuck thats the first one. Let me try his next one:
You can't prove your maths doesn't have a fact which is both true and false.
yep this is the claim and the case, but it is the why that is so tough!