我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:双彩网 > 正确性证明 >

怎么证明逻辑自身的正确性?

归档日期:06-13       文本归类:正确性证明      文章编辑:爱尚语录

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  逻辑是指一整套规则,规则的确立源头是常识,规则的方法源自一定的假设。越是严格的逻辑,初始性的假设就越少。事实上,我们日常的所有学科,都离不开这种套路。但是,纯粹研究逻辑的话,对于非专业人员是没有任何意义的。譬如,我们常用的几何体系,是在常用的数系和常用的语言逻辑基础上(常识部分),通过假设两点确定一条直线(唯一的假设,通称公理,即不需要证明的理论)确立起来的,这在一般人看来是很正常的。但是,深入内部,当我们来证明其他所谓的公理,譬如关于平行和交叉的公理,其证明方法在一般人看来是不可思议的。对于数系,陈景润其晚年的最大成就就是证明了“1+1=2”,但是,这于我们一般人看来也是不可思议的。甚至无法想象,这位大数学家用十数年时间只是证明了这一个公式。

本文链接:http://gilbertpromos.com/zhengquexingzhengming/98.html