Gödel's second incompleteness theorem explained in words of one syllable

https://languagelog.ldc.upenn.edu/myl/BoolosOneSyllable.pdf

8 points · 6 comments · view on lemmy.world

6 Comments

Dad@lemmy.world · 4 pts · 3y (5 replies)

You need lots of claims to get good maths.

Dad@lemmy.world · 4 pts · 3y (4 replies)

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.

mrh@lemmy.world · 3 pts · 3y (3 replies)

yep this is the claim and the case, but it is the why that is so tough!

Dad@lemmy.world · 3 pts · 3y (2 replies)

I'm a fool. I thought it was a prompt and didn't see it was link 😅

Interesting_Test_814@lemmy.world · 1 pts · 3y (1 reply)

I find it cool that all the text you wrote here is too made just of short words, and you kept that rule through this new text as well ;)

Damn it's hard to write this way, as all the words in -ing are too long for one, but I think the word I missed the most is "ev en". (Yes, I put a space so that it's two short words and not a too long one. You may call that a cheat but eh, how should I talk of the words I can't write if not with such a trick.)

Interesting_Test_814@lemmy.world · 1 pts · 3y

(I know "talk of" is not the right way to write it, but the right way would use a word that is too long for my goal. So "talk of" it is. I thought I had a wrong "much" in there as well, but it seems I don't when I read back my text once more)

Sergigig@lemmy.world · 1 pts · 3y
[ removed ]