This book is based on two premises: one cannot understand
philosophy of mathematics without understanding mathematics and one
cannot understand mathematics withoutdoing 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
ofmathematics. Topics include primitive recursive arithmetic, Peano
arithmetic, Godel's theorems, interpretability, the hierarchyof
sets, Frege arithmetic and intuitionist sentential logic. The book
is intended for readers who understand basic properties of the
natural and realnumbers and have some background in formal
logic."
General
Imprint: |
Springer International Publishing AG
|
Country of origin: |
Switzerland |
Release date: |
May 2014 |
First published: |
2014 |
Authors: |
Stephen Pollard
|
Dimensions: |
242 x 160 x 18mm (L x W x T) |
Format: |
Hardcover
|
Pages: |
202 |
Edition: |
2014 ed. |
ISBN-13: |
978-3-319-05815-3 |
Categories: |
Books >
Science & Mathematics >
Mathematics >
Philosophy of mathematics
|
LSN: |
3-319-05815-0 |
Barcode: |
9783319058153 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!