×

That we see that some diagrammatic proofs are perfectly rigorous. (English) Zbl 1309.00053

Summary: Mistaken reasons for thinking diagrammatic proofs aren’t rigorous are explored. The main result is that a confusion between the contents of a proof procedure (what’s expressed by the referential elements in a proof procedure) and the unarticulated mathematical aspects of a proof procedure (how that proof procedure is enabled) gives the impression that diagrammatic proofs are less rigorous than language proofs. An additional (and independent) factor is treating the impossibility of naturally generalizing a diagrammatic proof procedure as an indication of lack of rigor.

MSC:

00A35 Methodology of mathematics
Full Text: DOI