3 ms·
Great, hopefully this'll get us past the halting problem.
by yters 7y ago
Great, hopefully this'll get us past the halting problem.
- mpoteat 7y agoThe halting problem is formally proven to be undecidable.
- dllthomas 7y agoIn some senses we are past the halting problem once we accept that that we will sometimes be wrong or unable to answer. Insofar as it has anything to do with the halting problem, this seems just another way to do that. Might still be useful.