PhilSci Archive


RODIN, Andrei (2011) DOING AND SHOWING. [Preprint]

WarningThere is a more recent version of this item available.
Download (293Kb) | Preview


    I elaborate in some detail on the First Book of Euclid's ``Elements'' and show that Euclid's theory of geometry is \underline{not} axiomatic in the modern sense but is construed differently. Then I show that the usual commonly accepted notion of axiomatic theory equally fails to account for today's mathematical theories. I provide some polemical arguments against the popular view according to which a good mathematical theory must be axiomatic (in the usual general sense) and point to an alternative method of theory-building. Since my critique of the core axiomatic method is constructive in its character I briefly observe known constructive approaches in the foundations of mathematics and describe the place of my proposal in this context. The main difference of my and earlier constructive proposals for foundations of mathematics appears to be the following: while earlier proposals deal with the issue of admissibility of some particular mathematical principles and like choice and some putative mathematical objects like infinite sets my proposal concerns the very method of theory-building. As a consequence, my proposal unlike earlier constructive proposals puts no restriction on the existing mathematical practice but rather suggests an alternative method of organizing this practice into a systematic theoretical form. In the concluding section of the paper I argue that the constructive mathematics (in the specific sense of the term specified in an earlier section of this paper) better serves needs of mathematically-laden empirical sciences than the formalized mathematics.

    Export/Citation:EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
    Social Networking:

    Item Type: Preprint
    Keywords: Axiomatic method, Euclid, Hilbert, Bourbaki, Constructivism
    Subjects: Specific Sciences > Mathematics
    Depositing User: Andrei Rodin
    Date Deposited: 31 Aug 2011 07:52
    Last Modified: 19 Sep 2011 08:01
    Item ID: 8767

    Available Versions of this Item

    Actions (login required)

    View Item

    Document Downloads