Book 2014

A Mathematical Prelude to the Philosophy of Mathematics

Authors:

ISBN: 978-3-319-05815-3 (Print) 978-3-319-05816-0 (Online)

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xi

  2. No Access

    Chapter

    Pages 1-33

    Recursion, Induction

  3. No Access

    Chapter

    Pages 35-53

    Peano Arithmetic, Incompleteness

  4. No Access

    Chapter

    Pages 55-83

    Hereditarily Finite Lists

  5. No Access

    Chapter

    Pages 85-100

    Zermelian Lists

  6. No Access

    Chapter

    Pages 101-121

    The Hierarchy of Sets

  7. No Access

    Chapter

    Pages 123-159

    Frege Arithmetic

  8. No Access

    Chapter

    Pages 161-197

    Intuitionist Logic

  9. Back Matter

    Pages 199-202