RODIN, Andrei (2011) DOING AND SHOWING. [Preprint]
This is the latest version of this item.
The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques.
I mean the (informal) notion of axiomatic theory according to which a mathematical theory consists of a set of axioms and further theorems deduced from these axioms according to certain rules of logical inference. Thus the usual notion of axiomatic method is inadequate and needs a replacement.
|Export/Citation:||EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL|
|Keywords:||Axiomatic method, Euclid, Hilbert, Bourbaki, Constructivism|
|Subjects:||Specific Sciences > Mathematics|
|Depositing User:||Andrei Rodin|
|Date Deposited:||19 Sep 2011 12:01|
|Last Modified:||19 Sep 2011 12:01|
Available Versions of this Item
DOING AND SHOWING. (deposited 31 Aug 2011 11:52)
- DOING AND SHOWING. (deposited 19 Sep 2011 12:01) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Actions (login required)