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

Lecture 12

Europe/Moscow
Description

Mathematical Logicism, Mathematical Constructivism and Mathematical Formalism.


Reading:  P. Martin-Löf, Hilbert-Brouwer Controversy Resolved?