To analyze the task of mental arithmetic with external representations in different number systems we model algorithms for addition and multiplication with Arabic and Roman numerals. This demonstrates that Roman numerals are not only informationally equivalent to Arabic ones but also computationally similar—a claim that is widely disputed. An analysis of our models' elementary processing steps reveals intricate tradeoffs between problem representation, algorithm, and interactive resources. Our simulations allow for a more nuanced view of the received wisdom on Roman numerals. (...) While symbolic computation with Roman numerals requires fewer internal resources than with Arabic ones, the large number of needed symbols inflates the number of external processing steps. (shrink)

François Viète is often regarded as the first modern mathematician on the grounds that he was the first to develop the literal notation, that is, the use of two sorts of letters, one for the unknown and the other for the known parameters of a problem. The fact that he achieved neither a modern conception of quantity nor a modern understanding of curves, both of which are explicit in Descartes’ Geometry, is to be explained on this view “by an incomplete (...) symbolization rather than by any obstacle intrinsic in the system.” Descartes’ Geometry provides only a “clearer expression” of themes already sounded in Viète’s work, one that perfects Viète’s literal calculus and gives it “its modern form”; it merely continues the “‘new’ and ‘pure’ algebra which Viète first established as the ‘general analytic art’.” It can seem, furthermore, that this must be right, that had there been some obstacle intrinsic to Viète’s system that barred the way to a modern conception of quantity and a modern understanding of curves, then Descartes’ Geometry would have had to have taken a very different form than it did. As it was, Descartes had only to improve Viète’s symbolism, free himself of the last vestiges of the ancient view of geometrical and arithmetical objects, and apply the new symbolism to the study of curves in order to achieve what Viète did not but could have. But what, really, is the status of this “could have”; what would it actually have taken for Viète to achieve Descartes’ results in the Geometry? The interest of the question lies in its potential to better our understanding of the nature of modern mathematics. (shrink)

There was a methodological revolution in the mathematics of the nineteenth century, and philosophers have, for the most part, failed to notice.2 My objective in this chapter is to convince you of this, and further to convince you of the following points. The philosophy of mathematics has been informed by an inaccurately narrow picture of the emergence of rigour and logical foundations in the nineteenth century. This blinkered vision encourages a picture of philosophical and logical foundations as essentially disengaged from (...) ongoing mathematical practice. Frege is a telling example: we have misunderstood much of what Frege was trying to do, and missed the intended significance of much of what he wrote, because our received stories underestimate the complexity of nineteenth-century mathematics and mislocate Frege’s work within that context. Given Frege’s perceived status as a paradigmatic analytic philosopher, this mislocation translates into an unduly narrow vision of the relation between mathematics and philosophy. This chapter surveys one part of a larger project that takes Frege as a benchmark to fix some of the broader interest and philosophical significance of nineteenth-century developments. To keep this contribution to a manageable.. (shrink)

This book is designed for the sophomore/junior level Introduction to Advanced Mathematics course. Written in a modified R.L. Moore fashion, it offers a unique approach in which readers construct their own understanding. However, while readers are called upon to write their own proofs, they are also encouraged to work in groups. There are few finished proofs contained in the text, but the author offers “proof sketches” and helpful technique tips to help readers as they develop their proof writing skills. This (...) book is most successful in a small, seminar style class. Logic, Sets, Induction, Relations, Functions, Elementary Number Theory, Cardinality, The Real Numbers For all readers interested in abstract mathematics. (shrink)