Philosophies of mathematics (Q2771725)

The book under review is devoted to the presentation of three main doctrines in the philosophy of mathematics of the 20th century, namely of logicism, intuitionism and formalism (called in the book: finitism). It grew up from the authors' teaching practice. The authors do not only present the philosophical ideas but also the historical background of the main schools, their development as well as technical (i.e. logical) ideas connected with them. In particular there are special chapters devoted to set theory, intuitionistic mathematics and Gödel's incompleteness theorem. Each (!) chapter (also those devoted directly to philosophical ideas) contains at the end some exercises which will certainly help the reader to understand better the material. NEWLINENEWLINENEWLINEThe book is well-written and provides an informative introduction to main doctrines in the philosophy of mathematics.