A Mathematical Prelude to the Philosophy of Mathematics

• Κύριος συγγραφέας: Pollard, Stephen (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Θέματα: Philosophy.; Philosophy and science.; Mathematical logic.; Philosophy of Science.; Mathematical Logic and Foundations.

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...

Πίνακας περιεχομένων:

• 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.