# 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

- Dimensions of Private Law: Categories and Concepts in Anglo-American Legal Reasoning
- Great Rhubarb Recipes
- Barnett's Manual: Analysis and Procedures for Bicycle Mechanics by John Barnett
- Tesla: Man Out of Time
- The Federalist: The Essential Essays, by Alexander Hamilton, James Madison, and John Jay
- Systems Analysis and Design
- iOS Security - Sichere Apps für iPhone und iPad
- Front and Center (Audiobook)
- Gamers at Work: Stories Behind the Games People Play
- Emerging Trends in ICT Security
- Pressure Cooker Perfection
- Amphibian Declines: The Conservation Status of United States Species by Michæl J. Lannoo
- Learning Pentesting for Android Devices
- Synthetics, Mineral Oils, and Bio-Based Lubricants: Chemistry and Technology, Second Edition
- Bank Management and Control: Strategy, Capital and Risk Management (Management for Professionals)

## Top books

- Early Civilizations in the Americas: Almanac (Early Civilizations in the Americas Reference Library) Vol 1 - 3
- What is Religion?
- The Treasury of Knowledge: Indo-Tibetan Classical Learning And Buddhist Phenomenology (Bk. 6, Pt. 1 & 2)
- Proceedings of International Conference on Advances in Tribology and Engineering Systems: ICATES 2013
- Barrier Systems for Environmental Contaminant Containment and Treatment
- Windows Phone 7 for iPhone Developers (Developers Library) by Kevin Hoffman
- Fashion Bags and Purses (Design and Make)
- A Manual of English Phonetics and Phonology
- Ultrawideband Radar Measurements: Analysis and Processing
- The Psychology of Money and Public Finance
- Colloquial Hebrew: The Complete Course for Beginners
- Adobe Photoshop CS5 Classroom in a Book
- The Underwater Photographer. Digital and Traditional Techniques, 3rd edition
- Interim Judaism: Jewish Thought in a Century of Crisis
- Animal Families

## Today books

- Early Modern England 1485-1714: A Narrative History
- How to Can and Preserve
- Encyclopedia of Chess Openings, 4 E
- Navigating the Mortgage Minefield: Your Complete Guide to Avoiding Costly Problems and Finding the Right Loan in...
- The Slangman Guide to Street Speak 3: The Complete Course in American Slang & Idioms
- Geologisches Wörterbuch
- Literacy: Reading the Word and the World
- Encyclopedia of American Foreign Policy
- Software-Entwicklung für Dynamische Portfolioallokation und Risikomanagement
- Gazza: My Story (Audiobook)
- Cartooning: Philosophy and Practice
- Contemporary Post Keynesian Analysis: Keyensian Analysis
- Moon Montana & Wyoming: Including Yellowstone, Grand Teton & Glacier National Parks
- The Infinite Resource: The Power of Ideas on a Finite Planet
- A Colour Atlas of Foot and Ankle Disorders, 1e