Computers’ inability to find physical laws is a clue to math’s relationship to reality

For some people, all math problems are difficult.

But for computer scientists, most math problems are easy. The computer does all the work.

Sometimes, though, problems come along that even computers can’t handle. Even the most powerful supercomputers on the planet can gag on certain types of mathematical puzzles.