A.V. Rodin, "History and Philosophy of Mathematics"

Lecture 11

Europe/Moscow
Description

Hilbert’s works in the foundations of geometry and arithmetic. Modern axiomatic method. Hilbert’s Program: meta-mathematics and proof theory. Formalism and Finitism. Epistemic completeness.

Reading: (1) D. Hilbert, Foundations of Geometry (1899), (2) (2) A. Rodin, Category Theory and Axiomatic Method, ch.3.