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...
| Publicado en: | Philosophical Investigations Vol. 47; no. 4; pp. 558 - 584 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Wiley-Blackwell
Oct2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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. |
|---|