"As a science mathematics has been adapted to the description of natural phenomena, and the great practitioners in this field... have never concerned themselves with the logical foundations of mathematics, but have boldly taken a pragmatic view of mathematics as an intellectual machine which works successfully. Description has been verified by further observation, still more strikingly be prediction, and sometimes, more ominously, by control of natural forces. Happily, unresolved problems... still remain as challenges."