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.
Stephen Pollard Livres





Philosophical Introduction to Set Theory
- 180pages
- 7 heures de lecture
This unique approach maintains that set theory is the primary mechanism for ideological and theoretical unification in modern mathematics, and its technically informed discussion covers a variety of philosophical issues. 1990 edition.
The Journey Through My Life
- 388pages
- 14 heures de lecture
THE JOURNEY THROUGH MY LIFE is a book of poetry, prose, free verse and lyrics about the memories of the journey through, the experiences in my life and the memorable moments, in the form of the stages of my life, and are categorized by the memories of my youth, childhood, adolescence, young adulthood, and mature adulthood. The memories are about the whole range of events that stand out from my past. This book should relate to anyone whose life has been a memorable journey.
Lighthouse Rainbows
- 112pages
- 4 heures de lecture
Utilizing diverse creative styles, this collection immerses readers in each poem, capturing the essence of life's challenges and the beauty of nature. It celebrates the joy of lyrical expression, inviting readers to connect with the rhythm and melodies that enhance the poetic experience.