## 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:

[Link to content](http://qntm.org/g)

### 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](https://archive.is/KCpif).
>> 
>> 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

---