A Mathematical Prelude to the Philosophy of Mathematics
Product details
| Management number | 231816903 | Release Date | 2026/06/18 | List Price | US$14.98 | Model Number | 231816903 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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 philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in philosophy of mathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Gödel's theorems, interpretability, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and real numbers and have some background in formal logic. Read more
| ASIN | B00KAS0SQS |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-3319058160 |
| Edition | 2014th |
| Language | English |
| File size | 10.3 MB |
| Page Flip | Enabled |
| Publisher | Springer |
| Word Wise | Enabled |
| Print length | 218 pages |
| Accessibility | Learn more |
| Screen Reader | Supported |
| Publication date | May 12, 2014 |
| Enhanced typesetting | Enabled |
Customers who viewed this product also viewed
Logic
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form