|
|
|
|
|
|
by Beltiras
1118 days ago
|
|
|
I had an insight when learning about the Halting Problem. There is a class of programs for which the Halting Problem is solvable since you can use circuit analysis to see if well-formed loops halt. We should strive to write programs in that class since then we know that the execution, long as it may be, will yield a result. |
|
|