广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

哥德尔证明/(美)欧内斯特·内格尔(Ernest Nagel)，(美)詹姆士·R·纽曼(James R. Nwman)著 刘新文译

出版发行项:

北京:中国轻工业出版社,2021

ISBN及定价:

978-7-5184-3286-8/CNY42.00

载体形态项:

142页;21cm

并列正题名:

Godel's proof

个人责任者:

(美) 内格尔 (Nagel, Ernest 1901～1985) 著

个人责任者:

(美) 纽曼 (Newman, James R. 1907～0966) 著

个人次要责任者:

刘新文 译

学科主题:

逻辑哲学-研究-德国

中图法分类号:

B516.59

提要文摘附注:

本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题，为首次进入哥德尔证明思想的读者提供了一幅简明地图。

豆瓣简介：