aller au contenu
Memoirs of a proof theorist : Gödel and other logicians Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

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

Auteur : Gaisi Takeuti
Éditeur: Singapore ; River Edge, NJ : World Scientific, ©2003.
Édition/format:   Livre imprimé : Anglais : Rev. edVoir toutes les éditions et tous les formats
Base de données:WorldCat
Résumé:

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,  Lire la suite...

Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Personne nommée: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Type de document: Livre
Tous les auteurs / collaborateurs: Gaisi Takeuti
ISBN: 9812382798 9789812382795
Numéro OCLC: 52400536
Notes: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Description: xviii, 135 pages : illustrations ; 24 cm
Contenu: 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.
Autres titres: Gēderu.
Gödel and other logicians
Responsabilité: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
Plus d’informations:

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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#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://viaf.org/viaf/97851774> ; # Kurt Gödel
    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://experiment.worldcat.org/entity/work/data/842073#Person/takeuti_gaisi_1926_2017> ; # 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/takeuti_gaisi_1926_2017> # Gaisi Takeuti
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:deathDate "2017" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

<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/97851774> # 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://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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.