A Mathematical Prelude to the Philosophy of Mathematics

Nonfiction, Science & Nature, Mathematics, Logic, Science, Other Sciences, Philosophy & Social Aspects
Cover of the book A Mathematical Prelude to the Philosophy of Mathematics by Stephen Pollard, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Stephen Pollard ISBN: 9783319058160
Publisher: Springer International Publishing Publication: May 12, 2014
Imprint: Springer Language: English
Author: Stephen Pollard
ISBN: 9783319058160
Publisher: Springer International Publishing
Publication: May 12, 2014
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book A Rumor about the Jews by Stephen Pollard
Cover of the book Towards Ultrasound-guided Spinal Fusion Surgery by Stephen Pollard
Cover of the book Asymptotic methods in mechanics of solids by Stephen Pollard
Cover of the book Progress in Cryptology - LATINCRYPT 2014 by Stephen Pollard
Cover of the book Failed Anti-Reflux Therapy by Stephen Pollard
Cover of the book Supercomputing for Molecular Dynamics Simulations by Stephen Pollard
Cover of the book Sol-gel Based Nanoceramic Materials: Preparation, Properties and Applications by Stephen Pollard
Cover of the book Intelligent Interactive Multimedia Systems and Services by Stephen Pollard
Cover of the book Advances in Treatments for Aortic Valve and Root Diseases by Stephen Pollard
Cover of the book Computational Structural Analysis and Finite Element Methods by Stephen Pollard
Cover of the book Essential Tremor in Clinical Practice by Stephen Pollard
Cover of the book Transparency, Society and Subjectivity by Stephen Pollard
Cover of the book Relativity without Spacetime by Stephen Pollard
Cover of the book Coherent Control of Nuclei and X-Rays by Stephen Pollard
Cover of the book Taiwan's Political Re-Alignment and Diplomatic Challenges by Stephen Pollard
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy