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

July 8, 2015

CLMPS 2015

Filed under: Uncategorized — Andrei Rodin @ 5:00 pm

Upcoming Talk at the 15th Congress on Logic, Methodology, and Philosophy of Science (Helsinki, 3-8 August 2015)


Title: Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky

Slides   (NEW!)


The standard version of formal axiomatic method stemming from Hilbert [Hilbert (1899)] and recently defended by Hintikka [Hintikka (2011)] is not fully adequate to the recent successful practice of axiomatizing mathematical theories. In particular, the axiomatic architecture of Homotopy Type theory (HoTT) [Voevodsky et. al. 2013] does not quite fit the standard Hilbertian pattern of axiomatic theory.  At the same time HoTT and some other recent theories fall under a more general and in some respects more traditional notion of axiomatic theory, which I call after Hilbert and Bernays [Hilbert&Bernays (1934-1939)] “genetic” or “constructive” (interchangeably) and demonstrate it using the Classical example of the First Book of Euclid’s  “Elements”. On the basis of these modern and ancient examples I claim that Hintikka’s semantic-oriented formal axiomatic method is not self-sustained but requires a support of some more basic constructive method. I provide an independent epistemological grounding for this claim by showing the need to complement Hintikka’s account of axiomatic method with a constructive notion of formal semantics.


[Euclides(1883-1886)] Euclides (1883-1886) Heiberg (ed.) Euclidis Opera Omnia, Lipsiae, v. 1.

[Hilbert(1899)]: Hilbert D. (1899), Grundlagen der Geometrie, Leipzig.

[Hilbert&Bernays(1934-1939)]: Hilbert D. and Bernays P. (1934-1939), Grundlagen der Mathematik (in two volumes), Springer.

[Hintikka(2011)]:  Hintikka J (2011) What is axiomatic method?, Synthese 183(1):69–85.

[Voevodsky et al. (2013)] Voevodsky V. et al. (2013), Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced Study (Princeton).




No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress