andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

August 15, 2014

On Constructive Axiomatic Method

Filed under: Uncategorized — Andrei Rodin @ 1:05 am

The formal axiomatic method popularized by Hilbert and recently defended by Hintikka is not fully adequate to the recent practice of axiomatizing mathematical theories. The axiomatic architecture of Topos theory and Homotopy type theory do not fit the pattern of the formal axiomatic theory in the standard sense of the word.  However these theories fall under a more general and in some respects more traditional notion of axiomatic theory, which I call after Hilbert constructive. I show that the formal axiomatic method always requires a support of some more basic constructive method.

 

Longer version (PDF)  , the same on arXiv

Shorter journal version (PDF)

 

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress