Philosophy of Mathematics (MATE402)
Ontology and epistemology of mathematics, Numbers, sets, functions, etc. with mathematical concepts propositions and meanings of mathematical expressions. The essence of mathematics, the nature of its methods and mathematics related philosophical problems. Objectivity in mathematics and applicability to the real world. Frege, Russel, Hilbert, Brouwer, and Gödel's basic theories in mathematics philosophy; Logicism, Formalism, Structuralism and Intuition.