pular para conteúdo
Memoirs of a proof theorist : Gödel and other logicians Ver prévia deste item
FecharVer prévia deste item
Checando...

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

Autor: Gaisi Takeuti
Editora: Singapore ; River Edge, NJ : World Scientific, ©2003.
Edição/Formato   Print book : Inglês : Rev. edVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

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,  Ler mais...

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Pessoa Denominada: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo de Documento: Livro
Todos os Autores / Contribuintes: Gaisi Takeuti
ISBN: 9812382798 9789812382795
Número OCLC: 52400536
Notas: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Descrição: xviii, 135 pages : illustrations ; 24 cm
Conteúdos: 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.
Outros Títulos: Gēderu.
Gödel and other logicians
Responsabilidade: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


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

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.