# Visual thinking and simplicity of proof

@article{Cain2019VisualTA, title={Visual thinking and simplicity of proof}, author={Alan J. Cain}, journal={Philosophical Transactions of the Royal Society A}, year={2019}, volume={377} }

This paper studies how spatial thinking interacts with simplicity in [informal] proof, by analysing a set of example proofs mainly concerned with Ferrers diagrams (visual representations of partitions of integers) and comparing them to proofs that do not use spatial thinking. The analysis shows that using diagrams and spatial thinking can contribute to simplicity by (for example) avoiding technical calculations, division into cases, and induction, and creating a more surveyable and explanatory… Expand

#### Topics from this paper

#### 4 Citations

Mathematics in the Digital Age: The Case of Simulation-Based Proofs

- Mathematics
- 2021

Digital transformation has made possible the implementation of environments in which mathematics can be experienced in interplay with the computer. Examples are dynamic geometry environments or… Expand

Görsel İspat Becerisi, Van Hiele Geometrik Düşünme Düzeyleri ve Uzamsal Yetenek Arasındaki İlişki

- Medicine
- Erciyes Journal of Education
- 2019

It was seen that most of the elementary mathematics teachers were at the 3rd level of van Hiele’s geometric thinking, and there is no significant relationship between visual proof skills and spatial ability. Expand

Discussing Hilbert's 24th problem

- Medicine, Computer Science
- Philosophical Transactions of the Royal Society A
- 2019

The short paragraph reads in German as follows: Als 24stes Problem in meinem Pariser Vortrag wollte ich die Frage stellen: Kriterien für die Einfachheit bez. Beweis der grössten Einfachheit von… Expand

#### References

SHOWING 1-10 OF 71 REFERENCES

Visual thinking in mathematics

- 2007

Visual thinking — visual imagination or perception of diagrams and symbol arrays, and mental operations on them — is omnipresent in mathematics. Is this visual thinking merely a psychological aid,… Expand

Visualization, Explanation and Reasoning Styles in Mathematics

- Computer Science, Mathematics
- 2005

This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers of mathematics have recently called for an approach to philosophy of… Expand

Can pictures prove

- Mathematics
- 2002

Although historically diagrams have played an influential role in the development of mathematics, for the last hundred years or so, diagrams have been knocked out of their previously important… Expand

On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery)

- Philosophy, Computer Science
- 1977

Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Expand

Intuition and Visualization in Mathematical Problem Solving

- Mathematics
- 2010

In this article, I will discuss the relationship between mathematical intuition and mathematical visualization. I will argue that in order to investigate this relationship, it is necessary to… Expand

A Diagrammatic Formal System for Euclidean Geometry

- Mathematics
- 2001

It has long been commonly assumed that geometric diagrams can only be used as aids to human intuition and cannot be used in rigorous proofs of theorems of Euclidean geometry. This work gives a formal… Expand

On the Alleged Simplicity of Impure Proof

- Mathematics
- 2017

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof… Expand

Mathematical Explanation: Problems and Prospects

- Philosophy
- 2001

Since this issue is devoted to the interaction between philosophy of mathematics and mathematical practice, I would like to begin with an introductory reflection on this topic, before I enter the… Expand

Visual thinking in mathematics : an epistemological study

- Computer Science
- 2007

This book helps students understand the role that images play in the development of mathematical thinking and the importance of visualization in this process. Expand

Why do Mathematicians Need Different Ways of Presenting Mathematical Objects? The Case of Cayley Graphs

- Mathematics
- 2010

This paper investigates the role of pictures in mathematics in the particular case of Cayley graphs—the graphic representations of groups. I shall argue that their principal function in that… Expand