Surveys historical and modern positions of mathematics. This book analyzes and evaluates traditional theories (Platonism, Aristotelianism, and Kantianism), and modern theories (logicism, formalism, constructivism, and fictionalism). It discusses research in related fields (set theory, computability theory, probability theory, and paraconsistency). Skryť popis