PhilSci Archive


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:

    Item Type: Preprint
    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
    Item ID: 8797

    Available Versions of this Item

    Actions (login required)

    View Item

    Document Downloads