Anotace
The course will provide an introduction into the modern philosophy of mathematics. It will focus on some essential texts of the field.
The three big schools that emerged at the beginning of 20th century (logicism, formalism, and intuitionism) will be discussed together with the traditional topics, like, for example, the problem of the existence of mathematical objects and the nature of mathematical truth.