7
Gödel's second incompleteness theorem explained in words of one syllable
(languagelog.ldc.upenn.edu)
this post was submitted on 15 Jun 2023
7 points (100.0% liked)
math
808 readers
216 users here now
General community for all things mathematics on @lemmy.world
Submit link and text posts about anything at all related to mathematics.
Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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!
I'm a fool. I thought it was a prompt and didn't see it was link 😅
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.)
(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)