Hacker News new | ask | show | jobs
by daef 474 days ago
Then I'm curious: is it possible to know when we know everything there is to know?
2 comments
frotaur 474 days ago
The answer is no. There are statements for which knowing if they are decidable is undecidable.
link
daef 474 days ago
I know that \exists undecidable statements, I just don't know if this specific statement is decidable...
link
brap 474 days ago
Good question. I don’t know!
link