コンテンツへ移動
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]
エディション/フォーマット:   book_printbook : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

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

件名:
関連情報:

 

オフラインで入手

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

詳細

ドキュメントの種類: 図書
すべての著者/寄与者: Kurt Gödel
OCLC No.: 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)

リクエストの確認

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

リンクデータ


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にログインしてください 

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