A Mathematical Prelude to the Philosophy of Mathematics

Beschreibung

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.

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.

Autor*in

Stephen Pollard

Themen in »A Mathematical Prelude to the Philosophy of Mathematics«

Frege Arithmetic Gödel Glivenko Theorem Gödel Incompleteness Hereditarily Finite Lists Hierarchy of Sets Intuitionist Connectives Intuitionist Logic Iterative Set Theory Monadic Second Order Logic Peano Arithmetic Peregrin Logic of Inference Primitive Recursive Arithmetic Representability of Recursive Functions Set Theory Axioms Zermelian Lists

Stimmen zu »A Mathematical Prelude to the Philosophy of Mathematics«

“A Mathematical Prelude to the Philosophy of Mathematics is an easy-to-read book with a variety of helpful exercises covering a range of topics in the foundations of mathematics, with chapters focussing on set theory, arithmetic, and intuitionistic logic. … students interested in contemporary issues in the philosophy of mathematics would likely still find these useful, as many of the issues raised by these results remain live in the literature to this day.” (Audrey Yap, Philosophia Mathematica, Vol. 24 (2), June, 2016) 

“This book provides some mathematical background for undergraduate students of philosophy who want to study philosophy of mathematics. It provides mathematical training using a lot of elementary exercises.” (Reinhard Kahle, Mathematical Reviews, January, 2016)

“There have been many books on the philosophy of mathematics, but I do not think that many books aim to prepare students properly for the subject, which is what Pollard wants to do. … For readers like me, who know some basic number theory and analysis, as well as basic logic and computability theory, Pollard’s book will be a stimulating and novel experience.” (John Stillwell, Studia Logica, Vol. 104, 2016)

Details

Link teilen