RODIN, Andrei
(2011)
DOING AND SHOWING.
[Preprint]
Abstract
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 theorybuilding. 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 theorybuilding. 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 mathematicallyladen empirical sciences than the formalized mathematics.
Available Versions of this Item

DOING AND SHOWING. (deposited 31 Aug 2011 11:52)
[Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)

View Item 