doorgaan naar inhoud
Memoirs of a proof theorist : Gödel and other logicians Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Memoirs of a proof theorist : Gödel and other logicians

Auteur: Gaisi Takeuti
Uitgever: Singapore ; River Edge, NJ : World Scientific, ©2003.
Editie/Formaat:   Print book : Engels : Rev. edAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:

This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections,  Meer lezen...

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genoemd persoon: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Soort document: Boek
Alle auteurs / medewerkers: Gaisi Takeuti
ISBN: 9812382798 9789812382795
OCLC-nummer: 52400536
Opmerkingen: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Beschrijving: xviii, 135 pages : illustrations ; 24 cm
Inhoud: On Godel; Work of Paul Bernays and Kurt Godel; Hilbert and Godel; Short Biographies of Logicians; Set Theory and Related Topics; From Hilbert to Godel; Axioms of Arithmetic and Consistency -- The Second Problem of Hilbert; A Report from Godel '96; Having Read " Godel Remembered"; A Tribute to the Memory of Professor Godel'; Appendices: On Godel's Continuum Hypothesis; Birth of Second Order Proof Theory by the Fundamental Conjecture on GLC.
Andere titels: Gēderu.
Gödel and other logicians
Verantwoordelijkheid: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/52400536> # Memoirs of a proof theorist : Gödel and other logicians
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/52400536#CreativeWork/unidentifiedOriginalWork> ; # Gēderu.
   library:oclcnum "52400536" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/river_edge_nj> ; # River Edge, NJ
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/singapore> ; # Singapore
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/logica> ; # Logica
   schema:about <http://dewey.info/class/511.30922/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Person/godel_kurt_1906_1978> ; # Kurt Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:alternateName "Gödel and other logicians" ;
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2003" ;
   schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/842073> ; # Gēderu.
   schema:inLanguage "en" ;
   schema:name "Memoirs of a proof theorist : Gödel and other logicians"@en ;
   schema:productID "52400536" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/52400536#PublicationEvent/singapore_river_edge_nj_world_scientific_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/842073#Agent/world_scientific> ; # World Scientific
   schema:workExample <http://worldcat.org/isbn/9789812382795> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/52400536> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/842073#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/842073#Person/godel_kurt_1906_1978> # Kurt Gödel
    a schema:Person ;
   schema:birthDate "1906" ;
   schema:deathDate "1978" ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/842073#Place/river_edge_nj> # River Edge, NJ
    a schema:Place ;
   schema:name "River Edge, NJ" ;
    .

<http://experiment.worldcat.org/entity/work/data/842073#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
   schema:name "Preuve, Théorie de la"@fr ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
   schema:birthDate "1926" ;
   schema:familyName "Takeuti" ;
   schema:givenName "Gaisi" ;
   schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/entity/work/id/842073> # Gēderu.
   schema:name "Gēderu." ;
    .

<http://worldcat.org/isbn/9789812382795>
    a schema:ProductModel ;
   schema:isbn "9812382798" ;
   schema:isbn "9789812382795" ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.