A Mathematical Prelude to the Philosophy of Mathematics
Pollard, Stephen
Produktnummer:
18a04363540ccb49c6af5c91740015baa4
| Autor: | Pollard, Stephen |
|---|---|
| Themengebiete: | Frege Arithmetic Gödel Glivenko Theorem Gödel Incompleteness Hereditarily Finite Lists Hierarchy of Sets Intuitionist Connectives Intuitionist Logic Iterative Set Theory Monadic Second Order Logic Peano Arithmetic |
| Veröffentlichungsdatum: | 03.09.2016 |
| EAN: | 9783319348339 |
| Sprache: | Englisch |
| Seitenzahl: | 202 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer International Publishing |
Produktinformationen "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 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen