Proofs and the love of wisdom: what do we learn by proving a theorem in arithmetic?
15 November 2017, 5.15 PM - 15 November 2017, 7.15 PM
Professor Colin McLarty (Case Western Reserve University)
Powell Lecture Theatre School of Physics Tyndall Avenue
A public lecture bringing the arts and sciences together from Inside Arts in collaboration with the Centre for Science and Philosophy
Is there a difference between knowing a mathematical result and understanding it? Why do mathematicians seek new proofs of theorems they already know? How do proof theorists study proofs themselves? How can there be anything more for mathematicians to learn about arithmetic?
This is the first John Mayberry Memorial Lecture. John was a lecturer in mathematics at the university from the mid-1960s until 2005, when he became a research fellow in philosophy after his retirement. He was particularly interested in the Greek conception of number and in Kant’s philosophy of mathematics, as well as being an expert on mathematical logic and the foundations of mathematics. He read Aristotle in Greek over many years with classicist Christopher Rowe. John argued that “the later nineteenth century revolution in the foundations of mathematics was essentially a return to Greek arithmetic as Klein had described it in a new, non-Euclidean form.” After Aristotle, John’s intellectual hero was Richard Dedekind especially his “Was sind und was sollen die Zahlen”. Dedekind excised ideas of iteration or intuitions of time from the natural numbers basing them solely on the Axiom of Infinity. John’s work explored what happens to the supposedly fundamental mathematical notion of “natural number” if we adhere to Euclid’s common notion that “the whole is greater than the part”.