•  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.
  •  260
    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
  •  199
    Visual thinking in mathematics • by Marcus Giaquinto
    Analysis 69 (2): 401-403. 2009.
    Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late 19th century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis received much attention in the 19th century. They helped to instigate what Hans Hahn called a ‘crisis of intuition’, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this ‘crisis’ as follows : " Mathematicians had …Read more