What I meant is that he described the same problem in a more complete way, not that he just said the same thing more nicely. There are infinitely many formal sy

What I meant is that he described the same problem in a more complete way, not that he just said the same thing more nicely. There are infinitely many formal systems and after all we choose only some particular ones, what guides this choice? Isn't the existence of models in the real world one of the most important factors in choosing which formalism is valuable to develop? Courant how I understand him is saying that the tension between the two approaches is vital to the development of mathematics. There is also a nice lecture [1] from Vladimir Arnold, who was very much on the side of intuition, where he raises an interesting point that is related: in todays mathematics all the praise goes to the people who prove theorems, where perhaps the person who first _stated_ an theorem that is interesting and relevant deserves at least as much credit. [1] http://www.msri.org/web/msri/online-videos/-/video/showVideo/2714 http://www.msri.org/web/msri/online-videos/-/video/showVideo...