数学基础研究认领

路德维希·维特根斯坦（1889—1951），哲学家、数理逻辑学家，语言哲学的奠基人之一。本书是以维特根斯坦1929年至1932年的打字稿T213，1939年的打字稿T222，以及1939年至1941年间的笔记M164为基础，参照其它笔记、手稿编辑而成。在这些手稿中，维特根斯坦讨论了元数学、归纳证明、欧拉证明、递归证明、同一性、集合论、基数等问题，对当时数学基础研究中的形式主义思潮、逻辑主义思潮、直... 更多