zum Inhalt wechseln
A mathematical prelude to the philosophy of mathematics Titelvorschau
SchließenTitelvorschau
Prüfung…

A mathematical prelude to the philosophy of mathematics

Verfasser/in: Stephen Pollard
Verlag: Cham : Springer, 2014.
Ausgabe/Format   E-Book : Dokument : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Zusammenfassung:
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  Weiterlesen…
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Online anzeigen

Links zu diesem Titel

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Gattung/Form: Electronic books
Physisches Format Printed edition:
Medientyp: Dokument, Internetquelle
Dokumenttyp: Internet-Ressource, Computer-Datei
Alle Autoren: Stephen Pollard
ISBN: 9783319058160 3319058169
OCLC-Nummer: 880689138
Beschreibung: 1 online resource (xi, 202 pages)
Inhalt: 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.
Verfasserangabe: Stephen Pollard.
Weitere Informationen:

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  Weiterlesen…

Rezensionen

Redaktionelle Rezension

Nielsen BookData

"This book provides some mathematical background for undergraduate students of philosophy who want to study philosophy of mathematics. It provides mathematical training using a lot of elementary Weiterlesen…

 
Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


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/philosophy_of_science> ; # Philosophy of Science
    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://experiment.worldcat.org/entity/work/data/1823821838#Topic/philosophy> ; # Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/1823821838#Topic/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
    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://dx.doi.org/10.1007/978-3-319-05816-0> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-05816-0> ;
    schema:workExample <http://worldcat.org/isbn/9783319058160> ;
    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/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Intangible ;
    schema:name "Mathematical Logic and Foundations"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/1823821838#Topic/sciences_humaines> # Sciences humaines
    a schema:Intangible ;
    schema:name "Sciences humaines"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1823821838#Topic/sciences_sociales> # Sciences sociales
    a schema:Intangible ;
    schema:name "Sciences sociales"@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/9783319058160>
    a schema:ProductModel ;
    schema:isbn "3319058169" ;
    schema:isbn "9783319058160" ;
    .


Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.