首页 | 本学科首页   官方微博 | 高级检索  
     

逻辑发展的一个裂变
作者姓名:赵文秋  牟纪山
摘    要:1903年伯特兰·罗素在他的《数学原理》的序言中指出:“这本书的第一目的,是要证明以下两件事:纯粹数学的诸概念,都可根据极少数的逻辑基本概念来下定义,以及纯数学的定理都是从少数的逻辑原理中演绎出来的。数学的理论能用公理论的形式表述,在大多数情况下,仅用集合论语言的写法就可以表述:由公理引出定理的演绎过程,用谓词逻辑的符号,就可以完全地、严密地表达出来,这样,与数学密切联系就成了现代

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号