A Mathematical Prelude to the Philosophy of Mathematics
This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering phil...
| Опубликовано в: : | Springer eBooks |
|---|---|
| Главный автор: | |
| Соавтор: | |
| Формат: | Электронная книга |
| Язык: | English |
| Публикация: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Предметы: | |
| Online-ссылка: | http://dx.doi.org/10.1007/978-3-319-05816-0 Перейти в каталог НБ ТГУ |
Оглавление:
- Preface
- Chapter 1: Recursion, Induction
- Chapter 2: Peano Arithmetic, Incompleteness
- Chapter 3: Hereditarily Finite Lists
- Chapter 4: Zermelian Lists
- Chapter 5: The Hierarchy of Sets. Chapter 6: Frege Arithmetic
- Chapter 7: Intuitionist Logic
- Chapter 8. Solutions of Odd-Numbered Exercises
- Index.