passa ai contenuti
Memoirs of a proof theorist : Gödel and other logicians Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

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

Autore: Gaisi Takeuti
Editore: Singapore ; River Edge, NJ : World Scientific, ©2003.
Edizione/Formato:   Libro : English : Rev. edVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:

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,  Per saperne di più…

Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Persona incaricata: Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo documento: Book
Tutti gli autori / Collaboratori: Gaisi Takeuti
ISBN: 9812382798 9789812382795
Numero OCLC: 52400536
Note: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Descrizione: xviii, 135 p. : ill. ; 24 cm.
Contenuti: 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.
Altri titoli: Gēderu.
Gödel and other logicians
Responsabilità: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<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: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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.