Excellent!
Detecting "simple queries" is clearly halting-complete, so someone's solved the halting problem at last!
Top-level
Excellent! Detecting "simple queries" is clearly halting-complete, so someone's solved the halting problem at last! 1 comment
|
@stuartyeates in practice it's a heuristic, just the same way a human brain uses a heuristic to decide whether something is simple or not.