跳到内容
An introduction to Gödel's Theorems 预览资料
关闭预览资料
正在查...

An introduction to Gödel's Theorems

著者: Peter Smith
出版商: Cambridge : Cambridge University Press, 2007.
丛书: Cambridge introductions to philosophy.
版本/格式:   图书 : 英语查看所有的版本和格式
数据库:WorldCat
提要:
Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises.
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

类型/形式: Einführung
提及的人: Kurt Gödel; Kurt Gödel
材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: Peter Smith
ISBN: 9780521857840 0521857848 9780521674539 0521674530
OCLC号码: 124025603
描述: xiv, 361 p. ; 26 cm.
内容: What Godel's theorems say --
Decidability and enumerability --
Axiomatized formal theories --
Capturing numerical properties --
The truths of arithmetic --
Sufficiently strong arithmetics --
Interlude: taking stock --
Two formalized arithmetics --
What q can prove --
First-order peano arithmetic --
Primitive recursive functions --
Capturing p r functions --
Q is p.r. adequate --
Interlude: a very little about Principia --
The arithmetization of syntax --
PA is incomplete --
Godel's first theorem --
Interlude: about the first theorem --
Strengthening the first theorem --
The diagonalization lemma --
Using the diagonalization lemma --
Second-order arithmetics --
Interlude: incompleteness and Isaacson's conjecture --
Godel's second theorem for PA --
The derivability conditions --
Deriving the derivability conditions --
Reflections --
Interlude: about the second theorem --
Recursive functions --
Undecidability and incompleteness --
Turing machines --
Turing machines and recursiveness --
Halting problems --
The church-turing thesis --
Proving the thesis.
丛书名: Cambridge introductions to philosophy.
责任: Peter Smith.
更多信息:

摘要:

Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises.

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/124025603>
library:oclcnum"124025603"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:creator
schema:datePublished"2007"
schema:description"What Godel's theorems say -- Decidability and enumerability -- Axiomatized formal theories -- Capturing numerical properties -- The truths of arithmetic -- Sufficiently strong arithmetics -- Interlude: taking stock -- Two formalized arithmetics -- What q can prove -- First-order peano arithmetic -- Primitive recursive functions -- Capturing p r functions -- Q is p.r. adequate -- Interlude: a very little about Principia -- The arithmetization of syntax -- PA is incomplete -- Godel's first theorem -- Interlude: about the first theorem -- Strengthening the first theorem -- The diagonalization lemma -- Using the diagonalization lemma -- Second-order arithmetics -- Interlude: incompleteness and Isaacson's conjecture -- Godel's second theorem for PA -- The derivability conditions -- Deriving the derivability conditions -- Reflections -- Interlude: about the second theorem -- Recursive functions -- Undecidability and incompleteness -- Turing machines -- Turing machines and recursiveness -- Halting problems -- The church-turing thesis -- Proving the thesis."@en
schema:description"Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/119737250>
schema:genre"Einführung"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"An introduction to Gödel's Theorems"@en
schema:numberOfPages"361"
schema:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA733037>
wdrs:describedby

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.