3 ms·
Why are we not OK with the program producing the undecidability result?
by alextheparrot 3y ago
Why are we not OK with the program producing the undecidability result?
- cpitman 3y agoBecause it is not generally possible to determine that the result is undecidable, when maybe searching a little longer would find it.