Introduction to Godel's Theorems (Hardcover)
 
作者: Peter Smith 
書城編號: 1094521


售價: $971.00

抱歉! 此商品已售罄, 不能訂購

如此商品日後有貨, 請通知我, 我的電郵/用戶名稱是:
 
 
出版社: Cambridge University Press
出版日期: 2013/02/21
尺寸: 254x182x24mm
重量: 939 grams
ISBN: 9781107022843

商品簡介
In 1931, the young Kurt G del published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. G del also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book - extensively rewritten for its second edition - will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.
Peter Smith 作者作品表

Rock Concert Performance from ABBA to ZZ Top (Paperback)

The Transcendence of Celeste Kelly (Paperback)

Shattered Loves Shattered Lives (Paperback)

A Mothers Love Gone Bad (Paperback)

Top 10 Conspiracy - COVID-19 (Paperback)

Covid-19 Fact or Fiction (Paperback)

Kidnapped in The Shadows (Paperback)

OCR A Level Economics (4th edition)

eBook: Hitting Deadline (DRM EPUB)

Gödel Without (Too Many) Tears (0002) (Hardcover)

Eject! Eject! Eject!: A Father's Incentive$ for Createing Your Way (Paperback)

Memorials of Peter Smith. Born, Brechin, Scotland, Sept. 21, 1802. Died, Andover, Mass., July 6, 188 (Paperback)

Memorials of Peter Smith. Born, Brechin, Scotland, Sept. 21, 1802. Died, Andover, Mass., July 6, 188 (Hardcover)

My Travels Through the Maelstrom of Punk Rock (Paperback)

eBook: Eject! Eject! Eject!: A Father's InCentivE$ for CREATEing your way (DRM EPUB)

NASA & Science: Fact about Black holes sounds (Paperback)

eBook: Guide to the Primary Care Guidelines (DRM PDF)

eBook: Guide to the Primary Care Guidelines (DRM EPUB)

eBook: Procurement With Purpose (DRM EPUB)

eBook: Icarus 2.0, parachute included: A Father's InCentivE$ for CREATEing our way (DRM EPUB)

還有... [顯示所有作品]

* 以上資料僅供參考之用, 香港書城並不保證以上資料的準確性及完整性。
* 如送貨地址在香港以外, 當書籍/產品入口時, 顧客須自行繳付入口關稅和其他入口銷售稅項。

 

 

 

  我的賬戶 |  購物車 |  出版社 |  團購優惠
加入供應商 |  廣告刊登 |  公司簡介 |  條款及細則

香港書城 版權所有 私隱政策聲明

顯示模式: 電腦版 (改為: 手機版)