3 ms·
The answer is no. There are statements for which knowing if they are decidable is undecidable.
by frotaur 2y ago
The answer is no. There are statements for which knowing if they are decidable is undecidable.
- daef 2y agoI know that \exists undecidable statements, I just don't know if this specific statement is decidable...