×

Crossing curves: a limit to the use of diagrams in proofs. (English) Zbl 1272.03019

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.

MSC:

03A05 Philosophical and critical aspects of logic and foundations
00A30 Philosophy of mathematics
PDFBibTeX XMLCite
Full Text: DOI