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 : Anglais : Rev. edVoir toutes les éditions et 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
Format : 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 p. : ill. ; 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.

Critiques

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

Tags

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


<http://www.worldcat.org/oclc/52400536>
library:oclcnum"52400536"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/52400536>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"Rev. ed."
schema:copyrightYear"2003"
schema:creator
schema:datePublished"2003"
schema:exampleOfWork<http://worldcat.org/entity/work/id/842073>
schema:inLanguage"en"
schema:name"Gödel and other logicians"
schema:name"Memoirs of a proof theorist : Gödel and other logicians"
schema:numberOfPages"135"
schema:publisher
schema:url
schema:workExample

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.