Diagrams and Proofs in Analysis

References

• Azzouni , J. 2005 . “ Is there still a sense in which mathematics can have foundations? ” . In Essays on the foundations of mathematics and logic , Edited by: Sica , G. 9 – 47 . Monza : Polimetrica .
   Google Scholar
• Brown , J. R. 1999 . Philosophy of mathematics: An introduction to the world of proofs and pictures , New York : Routledge .
   Google Scholar
• Giaquinto , M. 2008 . “ Visualizing in mathematics ” . In The philosophy of mathematical practice , Edited by: Mancosu , P. 22 – 42 . Oxford : Oxford University Press .
   Google Scholar
• Grosholz , E. 2007 . Representation and productive ambiguity in mathematics and the sciences , Oxford : Oxford University Press .
   Google Scholar
• Haagerup , U. and Thorbj⊘rnsen , S. 1999 . Random matrices and K‐theory for exact C∗ ‐algebras . Documenta Mathematica , 4 : 341 – 450 .
   Google Scholar
• Hilbert , D. 2004 [1891] . “ Projektive geometrie ” . In David Hilbert’s lectures on the foundations of geometry 1891–1902 , Edited by: Hallett , M. and Majer , U. 21 – 64 . Berlin : Springer‐Verlag .
   Google Scholar
• Jones , V. 1998 . “ A credo of sorts ” . In Truth in mathematics , Edited by: Dales , H. G. and Oliveri , G. 203 – 231 . New York : Oxford University Press .
   Google Scholar
• Mancosu , P. 2005 . “ Visualization in logic and mathematics ” . In Visualization, explanation and reasoning styles in mathematics , Edited by: Mancosu , P. , Pedersen , S. A. and J⊘rgensen , K. F. 13 – 30 . Dordrecht : Springer .
   Google Scholar
• Mancosu , P. 2008 . “ Introduction ” . In The philosophy of mathematical practice , Edited by: Mancosu , P. 1 – 21 . Oxford : Oxford University Press .
   Google Scholar
• Mancosu , P. , Pedersen , S. A. and J⊘rgensen , K. F. , eds. 2005 . Visualization, explanation and reasoning styles in mathematics , Dordrecht : Springer .
   Google Scholar
• Manders , K. 2008 . “ The Euclidean diagram ” . In The philosophy of mathematical practice , Edited by: Mancosu , P. 80 – 133 . Oxford : Oxford University Press .
   Google Scholar
• Netz , R. 1999 . The shaping of deduction in Greek mathematics , Cambridge : Cambridge University Press .
   Google Scholar
• Sherry , D. 2009 . The role of diagrams in mathematical arguments . Foundations of Science , 14 : 59 – 74 .
   Google Scholar
• Tappenden , J. 2005 . “ Proof style and understanding in mathematics I: Visualization, unification and axiom of choice ” . In Visualization, explanation and reasoning styles in mathematics , Edited by: Mancosu , P. , Pedersen , S. A. and J⊘rgensen , K. F. 147 – 214 . Dordrecht : Springer .
   Google Scholar