数理逻辑
逻辑之旅 豆瓣
作者: [美国] 王浩 译者: 邢滔滔 / 郝兆宽 出版社: 浙江大学出版社 2009 - 2
王浩20年倾力之作,书中包括哥德尔一些未发表的哲学观点,接续上一本《哥德尔》的论题并将其扩展到更加广泛的领域:柏拉图主义、逻辑的本质、心灵、上帝的存在性、实证主义、现象学等等。哥德尔定理于20世纪的意义相当于爱因斯坦的相对论,海森伯格的测不准原理,凯恩斯的经济学,依据作者和哥德尔多年的私人交往与探讨写就的此书,扩展了过去人们认为的哥德尔在逻辑和哲学方面的贡献。
数学基础 豆瓣
作者: 汪芳庭 出版社: 科学出版社 2001 - 9
本书概述了数学基础的历史,介绍了现代数学主体的基础——ZFC集论,重点讲述四种数(自然数、实数、序数和基数)的理论.书中采用一种特殊的构造实数的新方法——非Archimedes序域法,它与传统的Dedkind分割和cantor基本序列等方法不同,是一种有益的新的尝试.
本书适合数学系本科生、研究生作为教材,也可供理工科其他专业作为教学参考用书.
算术基础 豆瓣
The Foundations of Arithmetic
作者: G.弗雷格 译者: 王路 出版社: 商务印书馆 1998 - 8
《算术基础》本身包含着许多深刻的哲学探讨,比如关于数的讨论、关于分析和综合的讨论、关于逻辑和心理学的区别的讨论。