skip to content
A mathematical prelude to the philosophy of mathematics Preview this item
ClosePreview this item
Checking...

A mathematical prelude to the philosophy of mathematics

Author: Stephen Pollard
Publisher: Cham : Springer, 2014.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics withoutdoing 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Stephen Pollard
ISBN: 9783319058160 3319058169 3319058150 9783319058153
OCLC Number: 880689138
Description: 1 online resource (xi, 202 pages)
Contents: Preface --
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.
Responsibility: Stephen Pollard.

Abstract:

This book draws readers into the philosophy of mathematics by having them do mathematics. Coverage includes primitive recursive arithmetic, Godel's theorems, the hierarchy of sets, Frege arithmetic  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"A Mathematical Prelude to the Philosophy of Mathematics is an easy-to-read book with a variety of helpful exercises covering a range of topics in the foundations of mathematics, with chapters Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/880689138> # A mathematical prelude to the philosophy of mathematics
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "880689138" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1823821838#Topic/sciences_humaines> ; # Sciences humaines
   schema:about <http://experiment.worldcat.org/entity/work/data/1823821838#Topic/sciences_sociales> ; # Sciences sociales
   schema:about <http://experiment.worldcat.org/entity/work/data/1823821838#Topic/droit> ; # Droit
   schema:about <http://dewey.info/class/510.1/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1823821838#Topic/mathematics_philosophy> ; # Mathematics--Philosophy
   schema:author <http://experiment.worldcat.org/entity/work/data/1823821838#Person/pollard_stephen_stephen_randall> ; # Stephen Randall Pollard
   schema:bookFormat schema:EBook ;
   schema:datePublished "2014" ;
   schema:description "Preface -- 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."@en ;
   schema:description "This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics withoutdoing 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 ofmathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Gödel's theorems, interpretability, the hierarchyof sets, Frege arithmetic, and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and realnumbers and have some background in formal logic."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1823821838> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1823821838#CreativeWork/> ;
   schema:name "A mathematical prelude to the philosophy of mathematics"@en ;
   schema:productID "880689138" ;
   schema:url <http://link.springer.com/10.1007/978-3-319-05816-0> ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-05816-0> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-05815-3> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-05815-3> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-05816-0> ;
   schema:workExample <http://worldcat.org/isbn/9783319058160> ;
   schema:workExample <http://worldcat.org/isbn/9783319058153> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/880689138> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1823821838#Person/pollard_stephen_stephen_randall> # Stephen Randall Pollard
    a schema:Person ;
   schema:familyName "Pollard" ;
   schema:givenName "Stephen Randall" ;
   schema:givenName "Stephen" ;
   schema:name "Stephen Randall Pollard" ;
    .

<http://experiment.worldcat.org/entity/work/data/1823821838#Topic/mathematics_philosophy> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://worldcat.org/entity/work/data/1823821838#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/880689138> ; # A mathematical prelude to the philosophy of mathematics
    .

<http://worldcat.org/isbn/9783319058153>
    a schema:ProductModel ;
   schema:isbn "3319058150" ;
   schema:isbn "9783319058153" ;
    .

<http://worldcat.org/isbn/9783319058160>
    a schema:ProductModel ;
   schema:isbn "3319058169" ;
   schema:isbn "9783319058160" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.