RODIN, Andrei (2011) DOING AND SHOWING. [Preprint]
This is the latest version of this item.
Download (293Kb) | Preview
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|
|Social Networking:|| |
|Keywords:||Axiomatic method, Euclid, Hilbert, Bourbaki, Constructivism|
|Subjects:||Specific Sciences > Mathematics|
|Depositing User:||Andrei Rodin|
|Date Deposited:||19 Sep 2011 08:01|
|Last Modified:||19 Sep 2011 08:01|
Available Versions of this Item
- DOING AND SHOWING. (deposited 31 Aug 2011 07:52)
- DOING AND SHOWING. (deposited 19 Sep 2011 08:01)[Currently Displayed]
Actions (login required)