3.0 KiB
Gödel's incompleteness theorems @ Things Of Interest - Very interesting discussion. Read the comments.
-
Author: u/ArgentStonecutter Emergency Mustelid Hologram*
-
URL: http://qntm.org/g
-
Score: 15
-
Created: 2015-10-16T15:46:30
Post:
Comments:
u/ArgentStonecutter [+4] Emergency Mustelid Hologram (2 minutes later)
Normally they say "don't read the comments". In this case, read the comments. And hurry up before qntm takes the page down.
The discussion of extensions to ZFC and how you can't actually use simple axiom schemas to extend ZFC to avoid Gödel2 was really useful.
u/None [+3] (an hour later)
And hurry up before qntm takes the page down.
Why would Sam do that? Just in case, I've archived the page here.
Anyway, this doesn't seem like immediately /r/rational material, but it ties in enough with last year's GEB readthrough that I think it belongs. If I were you, I'd've tagged it with [GEB] to signify that link, but I digress.
u/xamueljones [+2] My arch-enemy is entropy (5 hours later)
Sorry, but I'm never going to get around to posting the discussion on the last three chapters.
I consulate myself with the potentially false statement that if anyone managed to make it that far with me, then they probably finished the last three chapters without me.
u/None [+1] (an hour later)
[EDU] is a tag.
u/None [+1] (an hour later)
Lo recuerdo, but it's apparently disappeared from the sidebar. :S
ETA: Nevermind, I just glossed over it in the list of genres. Never really thought of nonfiction as a genre of fiction, but ... to each their own, I suppose.
u/PeridexisErrant [+3] put aside fear for courage, and death for life (14 hours later)
#To be complete, the tags are inconsistent.
sorry
u/None [+2] (an hour later)
No, it's in the list of "Posting Tags".
u/Transfuturist [+6] Carthago delenda est. (an hour later)
This may or may not be the first part of a project to abridge Douglas Hofstadter's "Gödel, Escher, Bach: An Eternal Golden Braid", which somehow takes hundreds of pages to cover the same material.
I am entirely offended! If Hofstadter had merely wanted to cover Gödel's results, he would have had the book he read as a teenager republished!
/offense
u/ArgentStonecutter [+3] Emergency Mustelid Hologram (2 hours later)
Yeh, I thought that was a bit excessive too.
u/Jesin00 [+1] (4 hours later)
I just noticed your username and flair. I think I recognize you from the comments on Housepets.
u/ArgentStonecutter [+1] Emergency Mustelid Hologram (4 hours later)
I think that likely.
u/xamueljones [+1] My arch-enemy is entropy (5 hours later)
MU
u/ArgentStonecutter [+2] Emergency Mustelid Hologram (5 hours later)
Hail Eris