4

Gödel's second incompleteness theorem explained in words of one syllable(languagelog.ldc.upenn.edu)

posted
by
Avatar
mrh@lemmy.worldM
in
Avatar
math@lemmy.world
6 comments
hidereport
Sort:
HotTopControversialNewOld
Avatar
Dad@lemmy.world
2 points

You need lots of claims to get good maths.

permalink
report
reply
Avatar
Dad@lemmy.world
1 point
*

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.

permalink
report
parent
reply
Avatar
mrh@lemmy.worldOPM
1 point
*

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

permalink
report
parent
reply
Avatar
Dad@lemmy.world
1 point
*

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

permalink
report
parent
reply
Show more comments
Avatar
Sergigig@lemmy.world
1 point
Deleted by creator
permalink
report
reply

math

!math@lemmy.world

Create post

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.

Community stats

  • 28

    Monthly active users

  • 88

    Posts

  • 240

    Comments

Community moderators