# A Mathematical Prelude to the Philosophy of Mathematics

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.

Download

keep2share

Download

keep2share

**Related books**

- A Mathematical Prelude to the Philosophy of Mathematics
- The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
- The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
- Wittgenstein on the Foundations of Mathematics
- Wittgenstein on the Foundations of Mathematics
- A Logical Introduction to Proof
- Imagine Math: Between Culture and Mathematics
- Imagine Math: Between Culture and Mathematics
- Statics and Dynamics with Background Mathematics
- Imagine Math 2: Between Culture and Mathematics

## Random books

- The Special One: The Dark Side of Jose Mourinho
- Side Effects of Medical Cancer Therapy: Prevention and Treatment
- Ultrasonic Nondestructive Evaluation Systems: Models and Measurements by Lester W. Schmerr Jr., Sung-Jin Song
- Buddhism in India: Challenging Brahmanism and Caste
- The Killer Book of Cold Cases
- Lion's Roar That Proclaims Zhantong
- Swimming Shermans: Sherman DD amphibious tank of World War II (Osprey New Vanguard 123)
- Practical Database Programming with Java
- Knowledge-Based Bioinformatics: From analysis to interpretation
- Microsoft Office 2010: Illustrated Introductory, First Course
- Sea Creatures Origami
- Algebraic Geometry in Coding Theory and Cryptography
- The New Encyclopedia of the Occult
- Learning Ritual Magic: Fundamental Theory and Practice for the Solitary Apprentice
- On Vision and Colors: Color Sphere

## Top books

- Alpha Trading: Profitable Strategies That Remove Directional Risk
- Engineering Plastics Handbook
- Number Theory: A Historical Approach
- Murray Hallam - Aquaponics: Do It Yourself
- Wissenschaft in der Digitalen Revolution: Klimakommunikation 21.0
- Social Psychology, 7th edition
- Spent: A Memoir
- Asian American Psychology: Current Perspectives
- What the Gospels Meant
- Dictionary of Earth Science
- Handbook of Smart Coatings for Materials Protection
- Dragonflies
- Encyclopedia of Water Garden Plants
- Civil Liability in Criminal Justice, Sixth Edition
- The Broadband Problem: Anatomy of a Market Failure and a Policy Dilemma

## Today books

- Microsoft Access 2013 - Das Handbuch
- Modeling Financial Markets : Using Visual Basic.NET and Databases to Create Pricing
- Zachar Prilepin - Patologie
- Transactions on Large-Scale Data- and Knowledge-Centered Systems IX
- 200 Open Games
- Christianity (Eyewitness)
- The Everything Kosher Slow Cooker Cookbook
- Discover Kauai (Country Guide)
- Companion to Urban Design
- The 25 Most Common Sales Mistakes: And How to Avoid Them (Audiobook)
- McGraw Hill Encyclopedia of Science & Technology, 10th edition (19 volumes)
- Progress in Corrosion Science and Engineering II
- Digital Art Masters: Volume 2
- 300 Spiele: Drinnen, draussen, unterwegs
- Financial Modeling and Valuation: A Practical Guide to Investment Banking and Private Equity