‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard
When it comes to hard problems, computer scientists seem to be stuck. Consider, for example, the notorious problem of finding the shortest round-trip route that passes through every city on…