Abstract
For over half a century I have been interested in the role of intuitive spatial reasoning in mathematics. My Oxford DPhil Thesis (1962) was an attempt to defend Kant's philosophy of mathematics, especially his claim that mathematical proofs extend our knowledge (so the knowledge is "synthetic", not "analytic") and that the discoveries are not empirical, or contingent, but are in an important sense "a priori" (which does not imply "innate") and also necessarily true.
I had made my views clear in courses on philosophy of science and mathematics when teaching at Sussex University (from 1964) which was why one of our former students, Mary Pardoe (then Mary Ensor) who had become a mathematics teacher informed me, while visiting the university, that she had found a new diagrammatic proof of the triangle sum theorem. I reported her proof in some papers and presentations on methods of representation and reasoning, e.g. here, but neither she nor I has encountered anyone else who knew about the proof.