přejít na obsah
Memoirs of a proof theorist : Gödel and other logicians Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

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

Autor Gaisi Takeuti
Vydavatel: Singapore ; River Edge, NJ : World Scientific, ©2003.
Vydání/formát:   book_printbook : English : Rev. edZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:

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,  Přečíst více...

Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Osoba: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Typ dokumentu: Book
Všichni autoři/tvůrci: Gaisi Takeuti
ISBN: 9812382798 9789812382795
OCLC číslo: 52400536
Poznámky: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Popis: xviii, 135 pages : illustrations ; 24 cm
Obsahy: 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.
Jiné tituly: Gēderu.
Gödel and other logicians
Odpovědnost: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená 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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.