4 ms·
For some reason I keep thinking of the halting problem.
by tadfisher 14y ago
For some reason I keep thinking of the halting problem.
- derleth 14y agoActually, this is an example of where the halting problem can be trivially solved through static analysis. Finding all of the programs that are isomorphic to this one when given certain input, now... that's the problem.