4 ms·
A statement in a program can’t really be undecidable on its own. It’s the program that has that property.
by zeroonetwothree 3y ago
A statement in a program can’t really be undecidable on its own. It’s the program that has that property.
- chromoblob 3y agoA statement is just a subprogram. Whether it can be decidable depends on whether a single program can be undecidable (and I can't see how that could be possible, undecidability is property of the problem - decision procedure on set of programs)