ENGLISH

A Mathematical Prelude to the Philosophy of Mathematics

By Stephen Pollard (auth.)

Book information

Publisher
Springer International Publishing
Year
2014
ISBN
978-3-319-05815-3, 978-3-319-05816-0
DOI
10.1007/978-3-319-05816-0
Language
english
Format
PDF
Filesize
2 MB (1888024 bytes)
Edition
1
Pages
202\206
Time added
2014-06-12 06:00:00
Philosophy of Science; Mathematical Logic and Foun

Description

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.

Similar books