コンテンツへ移動
A mathematical prelude to the philosophy of mathematics 資料のプレビュー
閉じる資料のプレビュー
確認中…

A mathematical prelude to the philosophy of mathematics

著者: Stephen Pollard
出版: Cham : Springer, 2014.
エディション/フォーマット:   電子書籍 : Document : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
概要:
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  続きを読む
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ジャンル/形式: Electronic books
その他のフォーマット: Printed edition:
資料の種類: Document, インターネット資料
ドキュメントの種類: インターネットリソース, コンピューターファイル
すべての著者/寄与者: Stephen Pollard
ISBN: 9783319058160 3319058169
OCLC No.: 880689138
物理形態: 1 online resource (xi, 202 pages)
コンテンツ: 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.
責任者: Stephen Pollard.
その他の情報:

概要:

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  続きを読む

レビュー

編集者のレビュー

出版社によるあらすじ

"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 続きを読む

 
ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


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

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.