•  68
    Descartes and the cylindrical helix
    Historia Mathematica 37 (3): 403-427. 2010.
    In correspondence with Mersenne in 1629, Descartes discusses a construction involving a cylinder and what Descartes calls a “helice.” Mancosu has argued that by “helice” Descartes was referring to a cylindrical helix. The editors of Mersenne’s correspondence (Vol. II), and Henk Bos, have independently argued that, on the con- trary, by “helice” Descartes was referring to the Archimedean spiral. We argue that identifying the helice with the cylindrical helix makes better sense of the text. In the…Read more
  •  171
    Proof theory in philosophy of mathematics
    Philosophy Compass 5 (4): 336-347. 2010.
    A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics.
  •  259
    Review of D. Corfield's Toward A Philosophy Of Real Mathematics (review)
    Mathematical Intelligencer 29 (2). 2007.
    When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathemat…Read more