The mathematician, carried along on his flood of symbols, dealing apparently with

The mathematician, carried along on his flood of symbols, dealing apparently with purely formal truths, may still reach results of endless importance for our description of the physical universe.