Picture-proofs and Greek construction

Type of content
Publisher's DOI/URI
Thesis discipline
Degree name
Publisher
University of Canterbury. Mathematics and Statistics
Journal Title
Journal ISSN
Volume Title
Language
Date
2011
Authors
Robinson-Arnull, Connor
Abstract

Justification in mathematics is a very particular thing; no other field has such high standards placed on the notion of ‘proof’. There is justification and there is evidence. That non-deductive methods have long been seen as belonging to the latter category is uncontroversial. One contrarian to this view is Brown and his belief in a kind of non-deductive justification he calls ‘picture-proofs’. Brown's most recent and thorough treatment of picture-proofs is found in Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures published in 2008; the discussions contained therein will form the basis for this paper. This belief in picture-proofs will be placed in the context of the highly visual culture of Greek mathematics and through this, conclusions will be drawn about the validity and usefulness of these picture-proofs. Sections 1-3 will be devoted to the discussion of picture-proofs and Brown's argument for their existence. In this discussion, further arguments will be provided to supplement Brown's own with the view to establishing the strongest possible account of picture-proofs. Section 4 will consider the role of pictures in Greek mathematics and will introduce the question of whether Brown's interpretation of pictures has a place within Greek mathematics. Section 5 will clearly state what it means to assess Brown's view in the context of Greek mathematics. Following this, an attempt will be made to argue that Brown's views are consistent with Greek mathematics. Section 6 will attempt to bring these ideas together in an example from Euclid. Finally, Section 7 will discuss the state of picture-proofs given the conclusions so far drawn from the paper.

Description
Citation
Keywords
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Fields of Research::49 - Mathematical sciences::4904 - Pure mathematics::490407 - Mathematical logic, set theory, lattices and universal algebra
Rights
Copyright Connor Robinson-Arnull