9日)是一位奥地利数学家和计算机科学家,主要作品有《逻辑人生:哥德尔传(義大利語:Gödel - L'eccentricavitadiungenio)》(Gödel: A Life of Logic,与约翰·L·卡斯蒂合著)等。 Friedrich Stadler: Nachruf auf Werner
Quintet):机器能思考吗?》(The Cambridge Quintet)、《逻辑人生:哥德尔传(義大利語:Gödel - L'eccentricavitadiungenio)》(Gödel: A Life of Logic,与维尔纳·德波利合著)等。 Chemistry, Physics, Mathematics
Ramanujan 罗伯特·卡尼格尔 Robert Kanigel 胡乐士、齐民友 逻辑人生:哥德尔传(義大利語:Gödel - L'eccentricavitadiungenio) Gödel: A Life of Logic 约翰·卡斯蒂、维尔纳·德波利 John Casti / Werner DePauli
刘北成、刘援、吴必康、刘新成 2007 上海人民出版社2002初版、2020再版 逻辑人生:哥德尔传(義大利語:Gödel - L'eccentricavitadiungenio) Gödel: A Life of Logic 约翰·卡斯蒂、维尔纳·德波利 John Casti / Werner DePauli