skip to content
On formally undecidable propositions of Principia mathematica and related systems. Preview this item
ClosePreview this item
Checking...

On formally undecidable propositions of Principia mathematica and related systems.

Author: Kurt Gödel
Publisher: Edinburgh, Oliver & Boyd [1962]
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Gödel, Kurt.
On formally undecidable propositions of Principia mathematica and related systems.
Edinburgh, Oliver & Boyd [1962]
(OCoLC)563599115
Document Type: Book
All Authors / Contributors: Kurt Gödel
OCLC Number: 1021624
Notes: Translation of a 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.
Description: 72 pages 20 cm
Responsibility: Translated by B. Meltzer. With introd. by R.B. Braithwaite.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1021624> # On formally undecidable propositions of Principia mathematica and related systems.
    a schema:CreativeWork, schema:Book ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/1021624#CreativeWork/unidentifiedOriginalWork> ;
    library:oclcnum "1021624" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1447297#Place/edinburgh> ; # Edinburgh
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/stk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1447297#Topic/godel_theoreme_de> ; # Gödel, Théorème de
    schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
    schema:about <http://dewey.info/class/510.1/e20/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/97851774> ; # Kurt Gödel
    schema:datePublished "1962" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1447297> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/563599115> ;
    schema:name "On formally undecidable propositions of Principia mathematica and related systems."@en ;
    schema:productID "1021624" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1021624#PublicationEvent/edinburgh_oliver_&_boyd1962> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1447297#Agent/oliver_&_boyd> ; # Oliver & Boyd
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB6214610> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1021624> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1447297#Agent/oliver_&_boyd> # Oliver & Boyd
    a bgn:Agent ;
    schema:name "Oliver & Boyd" ;
    .

<http://experiment.worldcat.org/entity/work/data/1447297#Topic/godel_theoreme_de> # Gödel, Théorème de
    a schema:Intangible ;
    schema:name "Gödel, Théorème de"@en ;
    .

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

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

<http://www.worldcat.org/oclc/563599115>
    a schema:CreativeWork ;
    rdfs:label "On formally undecidable propositions of Principia mathematica and related systems." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1021624> ; # On formally undecidable propositions of Principia mathematica and related systems.
    .

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.