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.
About the Author Stephen Pollard has been on the faculty of Truman State University since 1985.
He received his B.
from Haverford College in 1979 and his Ph.
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.
| Premises | One cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics |
|---|
Springer este o companie de editură proeminentă la nivel mondial, specializată în literatura academică și științifică.
Fondată în 1842 la Berlin, Germania, Springer a crescut pentru a deveni unul dintre cei mai mari și mai respectați editori din lume, cu birouri și operațiuni în numeroase țări.
Springer publică o gamă largă de reviste academice, cărți, lucrări de referință și baze de date online care acoperă o gamă largă de discipline, inclusiv știință, tehnologie, medicină, inginerie, matematică, umaniste, științe sociale și afaceri.
Catalogul extins al companiei include: 1.
Reviste: Springer publică mii de reviste academice evaluate de colegi care acoperă un spectru larg de discipline.
Aceste reviste prezintă articole de cercetare originale, recenzii și contribuții academice din partea experților în domeniile lor respective.
Cărți: Springer publică o selecție diversă de cărți, inclusiv manuale, monografii, lucrări de referință și titluri profesionale.
Aceste cărți acoperă o gamă largă de subiecte și se adresează cercetătorilor, studenților, profesioniștilor și practicienilor.
Lucrări de referință: Springer produce lucrări de referință cu autoritate, cum ar fi enciclopedii, manuale, dicționare și atlase, care oferă o acoperire cuprinzătoare a unor subiecte și discipline specifice.
Baze de date online: Springer oferă baze de date și platforme online care oferă acces la vasta sa colecție de conținut academic.
Aceste platforme permit utilizatorilor să caute, să răsfoiască și să acceseze literatură academică, reviste, cărți și materiale de referință.
Springer este cunoscut pentru angajamentul său față de calitate, integritate și inovație în publicarea academică.
Compania lucrează îndeaproape cu autori, editori, recenzori și instituții academice pentru a asigura cele mai înalte standarde de excelență și rigoare academică în publicațiile sale.
Prin urmare, Springer este considerată pe scară largă ca o sursă de încredere de informații academice și o resursă valoroasă pentru cercetători, studenți și profesioniști din întreaga lume.
Springer A mathematical prelude to the philosophy of mathematics, hardcover/stephen pollard
