跳到内容
On formally undecidable propositions of Principia mathematica and related systems. 预览资料
关闭预览资料
正在查...

On formally undecidable propositions of Principia mathematica and related systems.

著者: Kurt Gödel
出版商: New York, Basic Books [©1962]
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
评估:

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

主题
更多类似这样的

 

在图书馆查找

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

详细书目

文件类型:
所有的著者/提供者: Kurt Gödel
OCLC号码: 285068
注意: Translation of paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931.
描述: 72 pages 19 cm
其他题名: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
责任: Translated by B. Meltzer. With introd. by R.B. Braithwaite.

评论

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

标签

争取是第一个!

相似资料

相关主题:(1)

这资料的用户列表 (2)

确认申请

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

链接数据


Primary Entity

<http://www.worldcat.org/oclc/285068> # On formally undecidable propositions of Principia mathematica and related systems.
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/285068#CreativeWork/unidentifiedOriginalWork> ; # Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
   library:oclcnum "285068" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
   schema:about <http://dewey.info/class/510.1/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1447297#Person/godel_kurt> ; # Kurt Gödel
   schema:datePublished "1962" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1447297> ; # Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
   schema:inLanguage "en" ;
   schema:name "On formally undecidable propositions of Principia mathematica and related systems."@en ;
   schema:productID "285068" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/285068#PublicationEvent/new_york_basic_books_1962> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1447297#Agent/basic_books> ; # Basic Books
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/285068> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1447297#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://id.worldcat.org/fast/949806> # Gödel's theorem
    a schema:Intangible ;
   schema:name "Gödel's theorem"@en ;
    .

<http://worldcat.org/entity/work/id/1447297> # Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
   schema:name "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I." ;
    .

<http://www.worldcat.org/title/-/oclc/285068>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/285068> ; # On formally undecidable propositions of Principia mathematica and related systems.
   schema:dateModified "2016-05-12" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/285068#CreativeWork/unidentifiedOriginalWork> # Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
    a schema:CreativeWork ;
   schema:inLanguage "de" ;
   schema:name "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I." ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

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