A Mathematical Prelude to the Philosophy of Mathematics

• Main Author: Pollard, Stephen (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Subjects: 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...

Table of Contents:

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