跳到内容
Logical dilemmas : the life and work of Kurt Gödel 预览资料
关闭预览资料
正在查...

Logical dilemmas : the life and work of Kurt Gödel

著者: John W Dawson
出版商: Wellesley, Mass. : A K Peters, ©1997.
版本/格式:   Print book : 传记 : 英语查看所有的版本和格式
数据库:WorldCat
提要:
"This definitive biography of the logician and philosopher Kurt Godel is the first in-depth account to integrate details of his personal life with his work and is based on the author's intensive study of Godel's papers and surviving correspondence. Godel (1906-1978) is considered to be the preeminent logic researcher of the twentieth century. His noted works on the completeness of first-order logic, the  再读一些...
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

类型/形式: Biography
提及的人: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
材料类型: 传记
文件类型:
所有的著者/提供者: John W Dawson
ISBN: 1568810253 9781568810256 1568812566 9781568812564
OCLC号码: 36104240
描述: xiv, 361 p. : ill.; 24 cm.
责任: John W. Dawson, Jr.
更多信息:

摘要:

This biography of the logician and philosopher Kurt Godel is an in-depth account to integrate details of his personal life with his work. Based on the author's intensive study of Godel's papers and  再读一些...

评论

社评

出版商概要

Dawson's book remains a starting point for our view into the life and work of the man who gave the world incompleteness. -- The Review of Modern Logic, March 2007

 
用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


Primary Entity

<http://www.worldcat.org/oclc/36104240> # Logical dilemmas : the life and work of Kurt Gödel
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "36104240" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/794046364#Place/wellesley_mass> ; # Wellesley, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Person/godel_kurt_1906_1978> ; # Kurt Gödel
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/logicians_united_states_biography> ; # Logicians--United States--Biography
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/wiskundige_logica> ; # Wiskundige logica
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/logicians_austria_biography> ; # Logicians--Austria--Biography
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/filosofen> ; # Filosofen
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/wiskundigen> ; # Wiskundigen
    schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/logiciens_autriche_biographies> ; # Logiciens--Autriche--Biographies
    schema:about <http://id.worldcat.org/fast/1204901> ; # Austria.
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/logiciens_etats_unis_biographies> ; # Logiciens--États-Unis--Biographies
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Person/godel_kurt> ; # Kurt Gödel
    schema:about <http://dewey.info/class/193/e21/> ;
    schema:about <http://id.worldcat.org/fast/1204155> ; # United States.
    schema:about <http://id.worldcat.org/fast/1002081> ; # Logicians
    schema:about <http://experiment.worldcat.org/entity/work/data/794046364#Topic/biografias_de_matematicos> ; # Biografias de matematicos
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1997" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/794046364#Person/dawson_john_w_john_william_1944> ; # John William Dawson
    schema:datePublished "1997" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/794046364> ;
    schema:genre "Biography"@en ;
    schema:inLanguage "en" ;
    schema:name "Logical dilemmas : the life and work of Kurt Gödel"@en ;
    schema:numberOfPages "361" ;
    schema:productID "36104240" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/36104240#PublicationEvent/wellesley_mass_a_k_peters_c1997> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/794046364#Agent/a_k_peters> ; # A K Peters
    schema:reviews <http://www.worldcat.org/title/-/oclc/36104240#Review/-76301088> ;
    schema:workExample <http://worldcat.org/isbn/9781568812564> ;
    schema:workExample <http://worldcat.org/isbn/9781568810256> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/36104240> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/794046364#Person/dawson_john_w_john_william_1944> # John William Dawson
    a schema:Person ;
    schema:birthDate "1944" ;
    schema:familyName "Dawson" ;
    schema:givenName "John William" ;
    schema:givenName "John W." ;
    schema:name "John William Dawson" ;
    .

<http://experiment.worldcat.org/entity/work/data/794046364#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/794046364#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/794046364#Place/wellesley_mass> # Wellesley, Mass.
    a schema:Place ;
    schema:name "Wellesley, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/794046364#Topic/biografias_de_matematicos> # Biografias de matematicos
    a schema:Intangible ;
    schema:name "Biografias de matematicos"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/794046364#Topic/logiciens_autriche_biographies> # Logiciens--Autriche--Biographies
    a schema:Intangible ;
    schema:name "Logiciens--Autriche--Biographies"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/794046364#Topic/logiciens_etats_unis_biographies> # Logiciens--États-Unis--Biographies
    a schema:Intangible ;
    schema:name "Logiciens--États-Unis--Biographies"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/794046364#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
    schema:name "Wiskundige logica"@en ;
    .

<http://id.worldcat.org/fast/1002081> # Logicians
    a schema:Intangible ;
    schema:name "Logicians"@en ;
    .

<http://id.worldcat.org/fast/1204155> # United States.
    a schema:Place ;
    schema:name "United States." ;
    .

<http://id.worldcat.org/fast/1204901> # Austria.
    a schema:Place ;
    schema:name "Austria." ;
    .

<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" ;
    schema:sameAs <http://d-nb.info/gnd/11869569X> ;
    .

<http://worldcat.org/isbn/9781568810256>
    a schema:ProductModel ;
    schema:isbn "1568810253" ;
    schema:isbn "9781568810256" ;
    .

<http://worldcat.org/isbn/9781568812564>
    a schema:ProductModel ;
    schema:isbn "1568812566" ;
    schema:isbn "9781568812564" ;
    .

<http://www.worldcat.org/title/-/oclc/36104240#Review/-76301088>
    a schema:Review ;
    schema:itemReviewed <http://www.worldcat.org/oclc/36104240> ; # Logical dilemmas : the life and work of Kurt Gödel
    schema:reviewBody ""This definitive biography of the logician and philosopher Kurt Godel is the first in-depth account to integrate details of his personal life with his work and is based on the author's intensive study of Godel's papers and surviving correspondence. Godel (1906-1978) is considered to be the preeminent logic researcher of the twentieth century. His noted works on the completeness of first-order logic, the incompleteness of formal number theory, and the relative consistency of the Axiom of Choice and the Continuum Hypothesis established bounds on the efficacy of formal methods in investigating foundational questions. He is also noted for his unique and distinctive writings on the philosophy behind mathematics, and his lesser-known results in cosmology raised problematic issues in the philosophy of time. Dawson, a logician and historian of science, examines the life of this driven man whose work on the foundation of mathematics has fundamentally changed our thoughts on these subjects and has stimulated much of the research conducted in this century. He further explores the relationship between Godel's personality and his scientific achievements and describes the impact Godel's results have had on our modern world view."--Jacket." ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.