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)

 

Powered by WordPress