Overview
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.
Full Product Details
Author: Stephen Pollard
Publisher: Springer International Publishing AG
Imprint: Springer International Publishing AG
Edition: 2014 ed.
Dimensions:
Width: 15.50cm
, Height: 1.40cm
, Length: 23.50cm
Weight: 4.498kg
ISBN: 9783319058153
ISBN 10: 3319058150
Pages: 202
Publication Date: 22 May 2014
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Hardback
Publisher's Status: Active
Availability: Manufactured on demand
We will order this item for you from a manufactured on demand supplier.
Reviews
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)
Author Information
Stephen Pollard has been on the faculty of Truman State University since 1985. He received his B.A. from Haverford College in 1979 and his Ph.D. from the University of Texas in 1983. His research and publications deal primarily with logic and the philosophy of mathematics, but his interests also include classical Greek philosophy, American pragmatism and the philosophy of science. Pollard is the author of Philosophical Introduction to Set Theory (Notre Dame, 1990), co-translator of The Continuum by Herman Weyl (Dover, 1994), co-author of Closure Spaces and Logic (Kluwer, 1996) and translator/editor of Essays on the Foundations of Mathematics by Moritz Pasch (Springer, 2010). His papers have appeared in Analysis, Erkenntnis, Logique et Analyse, The Monist, Notre Dame Journal of Formal Logic, Noûs, Philosophical Studies, Philosophia Mathematica, Synthese and other journals.
