Y
Hacker News
new
|
ask
|
show
|
jobs
by
frotaur
477 days ago
The answer is no. There are statements for which knowing if they are decidable is undecidable.
1 comments
daef
477 days ago
I know that \exists undecidable statements, I just don't know if this specific statement is decidable...
link