přejít na obsah
A mathematical prelude to the philosophy of mathematics Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

A mathematical prelude to the philosophy of mathematics

Autor Stephen Pollard
Vydavatel: Cham : Springer, 2014.
Vydání/formát:   e-kniha : Document : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:
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  Přečíst více...
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Žánr/forma: Electronic books
Doplňující formát: Printed edition:
Typ materiálu: Document, Internetový zdroj
Typ dokumentu: Internet Resource, Computer File
Všichni autoři/tvůrci: Stephen Pollard
ISBN: 9783319058160 3319058169
OCLC číslo: 880689138
Popis: 1 online resource (xi, 202 pages)
Obsahy: 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.
Odpovědnost: Stephen Pollard.
Více informací:

Anotace:

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  Přečíst více...

Recenze

Recenze redakce

Souhrn od vydavatele

"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 Přečíst více...

 
Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená 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/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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.