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

Preview

PDF doshow.pdf Download (300kB)

Abstract

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:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID RODIN, Andrei rodin@ens.fr
Keywords:	Axiomatic method, Euclid, Hilbert, Bourbaki, Constructivism
Subjects:	Specific Sciences > Mathematics
Depositing User:	Dr. Andrei Rodin
Date Deposited:	19 Sep 2011 12:01
Last Modified:	19 Sep 2011 12:01
Item ID:	8797
Subjects:	Specific Sciences > Mathematics
Date:	30 August 2011
URI:	https://philsci-archive.pitt.edu/id/eprint/8797

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

Plum Analytics

Actions (login required)

View Item