LEADER 03296nam  22006255  450 
001 9910484565503321
005 20200919232904.0
010   $a3-319-05816-9
024 7 $a10.1007/978-3-319-05816-0
035   $a(CKB)3710000000119117
035   $a(DE-He213)978-3-319-05816-0
035   $a(SSID)ssj0001244598
035   $a(PQKBManifestationID)11701003
035   $a(PQKBTitleCode)TC0001244598
035   $a(PQKBWorkID)11319295
035   $a(PQKB)10208436
035   $a(MiAaPQ)EBC6312708
035   $a(MiAaPQ)EBC1731082
035   $a(Au-PeEL)EBL1731082
035   $a(CaPaEBR)ebr10969107
035   $a(OCoLC)880689138
035   $a(PPN)178779806
035   $a(EXLCZ)993710000000119117
100   $a20140512d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 12$aA Mathematical Prelude to the Philosophy of Mathematics /$fby Stephen Pollard
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XI, 202 p.) 
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-05815-0 
320   $aIncludes bibliographical references and index.
327   $aPreface -- Chapter 1: Recursion, Induction -- Chapter 2: Peano Arithmetic, Incompleteness -- Chapter 3: Hereditarily Finite Lists -- Chapter 4: Zermelian Lists -- Chapter 5: The Hierarchy of Sets. Chapter 6: Frege Arithmetic -- Chapter 7: Intuitionist Logic -- Chapter 8. Solutions of Odd-Numbered Exercises -- Index.
330   $aThis 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.
606   $aPhilosophy and science
606   $aMathematical logic
606   $aPhilosophy of Science$3https://scigraph.springernature.com/ontologies/product-market-codes/E34000
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aPhilosophy and science.
615  0$aMathematical logic.
615 14$aPhilosophy of Science.
615 24$aMathematical Logic and Foundations.
676   $a510.1
700   $aPollard$b Stephen$4aut$4http://id.loc.gov/vocabulary/relators/aut$01227486
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484565503321
996   $aA Mathematical Prelude to the Philosophy of Mathematics$92849984
997   $aUNINA