Seeing How It Goes: Paper-and-Pencil Reasoning in Mathematical Practice

Throughout its long history, mathematics has involved the use of systems of written signs, most notably, diagrams in Euclidean geometry and formulae in the symbolic language of arithmetic and algebra in the mathematics of Descartes, Euler, and others. Such systems of signs, I argue, enable one to embody chains of mathematical reasoning. I then show that, properly understood, Frege’s Begriffsschrift or concept-script similarly enables one to write mathematical reasoning. Much as a demonstration in Euclid or in early modern algebra does, a proof in Frege’s concept-script shows how it goes.