컨텐츠로 이동
Memoirs of a proof theorist : Gödel and other logicians 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

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

저자: Gaisi Takeuti
출판사: Singapore ; River Edge, NJ : World Scientific, ©2003.
판/형식:   인쇄본 : 영어 : Rev. ed모든 판과 형식 보기
데이터베이스:WorldCat
요약:

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,  더 읽기…

평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

명시된 사람: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
문서 유형 도서
모든 저자 / 참여자: Gaisi Takeuti
ISBN: 9812382798 9789812382795
OCLC 번호: 52400536
메모: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
설명: xviii, 135 pages : illustrations ; 24 cm
내용: 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.
다른 제목 Gēderu.
Gödel and other logicians
책임: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


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

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.