A Mathematical Prelude To The Philosophy Of Mathematics
Download and Read A Mathematical Prelude To The Philosophy Of Mathematics full books in PDF, ePUB, and Kindle. Read online free A Mathematical Prelude To The Philosophy Of Mathematics ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
A Mathematical Prelude to the Philosophy of Mathematics
Author | : Stephen Pollard |
Publisher | : Springer |
Total Pages | : 206 |
Release | : 2014-05-12 |
Genre | : Science |
ISBN | : 3319058169 |
Download A Mathematical Prelude to the Philosophy of Mathematics Book in PDF, Epub and Kindle
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.
A Mathematical Prelude to the Philosophy of Mathematics Related Books
Pages: 206
Pages: 228
Pages: 235
Pages: 393
Pages: 196