## Find a copy online

### Links to this item

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: | Electronic books |
---|---|

Additional Physical Format: | Printed edition: |

Material Type: | Document, Internet resource |

Document Type: | Internet Resource, Computer File |

All Authors / Contributors: |
Stephen Pollard |

ISBN: | 9783319058160 3319058169 |

OCLC Number: | 880689138 |

Description: | 1 online resource (xi, 202 pages) |

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

Responsibility: | Stephen Pollard. |

### Abstract:

This book draws readers into the philosophy of mathematics by having them do mathematics. Coverage includes primitive recursive arithmetic, Godel's theorems, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. Includes 298 exercises.
Read more...

## Reviews

*Editorial reviews*

Publisher Synopsis

From the book reviews: "The aim of the book is to give students opportunities to recreate some mathematics that will illuminate important readings in the philosophy of mathematics. ... The book contains 298 exercises in the mentioned areas supported by explanatory materials. Each chapter ends by solutions of odd-numbered exercises as well as references. ... The book can serve as a supplement to primary texts chosen by instructors." (Roman Murawski, zbMATH, Vol. 1294, 2014) Read more...

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "A mathematical prelude to the philosophy of mathematics".
Be the first.