mirror of
https://github.com/wassname/scrape_r_rational.git
synced 2026-09-10 12:35:53 +08:00
85 lines
3.0 KiB
Markdown
85 lines
3.0 KiB
Markdown
## 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
|
|
|
|
---
|
|
|