3 ms·
"It won't do logic to figure it out,..." If it could do that, wouldn't that amount to having an oracle that can tell whether a program will terminate?
by aufreak3 14y ago
"It won't do logic to figure it out,..."
If it could do that, wouldn't that amount to having an oracle that can tell whether a program will terminate?