Giaquinto, Marcus Crossing curves: a limit to the use of diagrams in proofs. (English) Zbl 1272.03019 Philos. Math. (3) 19, No. 3, 281-307 (2011). Summary: This paper investigates the following question: when can one reliably infer the existence of an intersection point from a diagram presenting crossing curves or lines? Two cases are considered, one from Euclid’s geometry and the other from basic real analysis. I argue for the acceptability of such an inference in the geometric case but against in the analytic case. Though this question is somewhat specific, the investigation is intended to contribute to the more general question of the extent and limits of reliable diagrammatic reasoning in mathematics. Cited in 1 ReviewCited in 2 Documents MSC: 03A05 Philosophical and critical aspects of logic and foundations 00A30 Philosophy of mathematics Keywords:diagrammatic reasoning PDFBibTeX XMLCite \textit{M. Giaquinto}, Philos. Math. (3) 19, No. 3, 281--307 (2011; Zbl 1272.03019) Full Text: DOI