ข้ามไปที่เนือ้หา
A mathematical prelude to the philosophy of mathematics แสดงตัวอย่างรายการนี้
ปิดแสดงตัวอย่างรายการนี้
ตรวจสอบ...

A mathematical prelude to the philosophy of mathematics

ผู้แต่ง: Stephen Pollard
สำนักพิมพ์: Cham : Springer, 2014.
ครั้งที่พิมพ์/รูปแบบ:   หนังสืออีเล็กทรอนิกส์ : เอกสาร : ภาษาอังกฤษดูครั้งที่พิมพ์และรูปแบบ
ฐานข้อมูล: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:
ขนิดวัสดุ: เอกสาร, ทรัพยากรอินแทอร์เน็ต
ประเภทของเอกสาร: แหล่งข้อมูลอินเทอร์เน็ต, ไฟล์คอมพิวเตอร์
ผู้แต่งทั้งหมด : ผู้แต่งร่วม Stephen Pollard
ISBN: 9783319058160 3319058169
OCLC Number: 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 บทวิจารณ์

แท็ก

เป็นคนแรก.

รายการคล้ายกัน

ยืนยันคำขอนี้

คุณอาจะร้องขอรายการนี้แล้. โปรดเลือก ตกลง ถ้าคุณต้องการดำเนินการคำขอนี้ต่อไป.

เชิ่อมโยงข้อมูล


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:url <http://libproxy.uwinnipeg.ca/login?url=http://link.springer.com/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://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

Close Window

กรุณาลงชื่อเข้าสู่ระบบ WorldCat 

ยังไม่มีบัญชีผู้ใช้? คุณสามารถสร้างได้อย่างง่ายดาย สร้างบัญชีผู้ใช้ฟรี.