排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
在目前公认的集合论公理系统中,选择公理是一条比较特殊的公理:它是一条必需的公理,少了它,许多基本的数学结论便不能成立;它又是一条危险的公理,从它可以推出与人们经验常识大相径庭的“分球悖论”。因此这条公理引起数学家和逻辑哲学家的浓厚兴趣就不足为怪了。《选择公理在数学中的作用和地位》介绍了有关这条公理的各种背景内容,可供对这个论题感兴趣的读者参考。 相似文献
2.
《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书,语 相似文献
1