Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lqet
on Nov 16, 2020
|
parent
|
context
|
favorite
| on:
What Gödel Discovered
This is a very nice and surprisingly readable write up. I think it is the best explanation of the incompleteness theorem I've ever read. Thank you for this!
> Now, say he wanted to write when. He could just write 17.
Shouldn't it be 19?
stopachka
on Nov 16, 2020
[–]
Thanks for the kind words and the catch! Updated :) -- may take a few mins to show up
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
> Now, say he wanted to write when. He could just write 17.
Shouldn't it be 19?