Tension between Intuitive Infinitesimals and Formal Mathematical   Analysis
  We discuss the repercussions of the development of infinitesimal calculus into modern analysis, beginning with viewpoints expressed in the nineteenth and twentieth centuries and relating them to the natural cognitive development of mathematical thinking and imaginative visual interpretations of axiomatic proof. 
Mikhail G. Katz and David Tall
math.HO math.LO