Geometric diagrams as an effective notation.
In what way does a mathematical proof depend on the notation used in its presentation? This paper examines this question by analysing the computational differences, in the sense of Larkin and Simon's 'Why a diagram is (sometimes) worth 10,000 words', between diagrammatic and sentential notations as...
| Published in: | Philosophical Investigations Vol. 47; no. 4; pp. 558 - 584 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Wiley-Blackwell
Oct2024
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| Summary: | In what way does a mathematical proof depend on the notation used in its presentation? This paper examines this question by analysing the computational differences, in the sense of Larkin and Simon's 'Why a diagram is (sometimes) worth 10,000 words', between diagrammatic and sentential notations as a means for presenting geometric proofs. Wittgenstein takes up the question of mathematical notation and proof in Section III of Remarks on the Foundations of Mathematics. After discussing his observations on a proof's 'characteristic visual shape' in Section III with respect to arithmetical proofs, the paper shows how the notion of a characteristic visual shape illuminates the special effectiveness of diagrammatic notation in geometry. |
|---|