ABSTRACT
Since noneuclidean geometry was discovered early in the last century, there has been a continuous movement toward abstraction in mathematics. As his thought becomes more abstract, the mathematician finds it harder and harder to test his intuition against the physical world. The search for conviction leads to more detailed proofs, more carefully formulated definitions, and a continuous struggle to reach higher levels of precision.
