Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> "It turns out that the answer to both is “no” and, in astonishingly, the two questions are deeply intertwined."

Did you forget a word here?



Related to that, the two questions are

> “Can all true statements be proven?”, “Are there functions that we can define but not compute?”

And the answers are "no" and "yes", so to fit with "both answers are 'no'", the second question should be "Can we compute all functions we can define?".


Oh, God, you're right. Thank you! You wouldn't know I actually edited this chapter twice.


Yes, yes I did. Would you believe I did three drafts of this?

I'll fix it tonight. Thanks!


Haha I wouldn't worry about it.

I've seen more typos in professionally edited articles on major online newspapers.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: