The development and applicability of complex numbers is often cited in defence of the formalist philosophy of mathematics. This view is rejected through an examination of hamilton's development of the notion of complex numbers as ordered pairs of reals, And his later development of the quaternion theory, Which subsequently formed the basis of vector analysis. Formalism, By protecting informal assumptions from critical scrutiny, Constrained rather than encouraged the development of mathematics.

This paper attempts to show that mathematical knowledge does not grow by a simple process of accumulation and that it is possible to provide a quasi-empirical (in Lakatos's sense) account of mathematical theories. Arguments supporting the first thesis are based on the study of the changes occurred within Eudidean geometry from the time of Euclid to that of Hilbert; whereas those in favour of the second arise from reflections on the criteria for refutation of mathematical theories.

This paper discusses the connection between the actual history of mathematics and Lakatos's philosophy of mathematics, in three parts. The first points to studies by Lakatos and others which support his conception of mathematics and its history. In the second I suggest that the apparent poverty of Lakatosian examples may be due to the way in which the history of mathematics is usually written. The third part argues that Lakatos is right to hold philosophy accountable to history, even if Lakatos's (...) own view of mathematics fails that test. (shrink)

In this paper I explore possibilities of bringing post-positivist philosophies of empirical science to bear on the dynamics of mathematical development. This is done by way of a convergent accommodation of a mathematical version of Lakatos's methodology of research programmes, and a version of Kuhn's account of scientific change that is made applicable to mathematics by cleansing it of all references to the psychology of perception. The resulting view is argued in the light of two case histories of radical conceptual (...) innovations. (shrink)