百科问答小站 logo
百科问答小站 font logo



为什么数学上证明必然正难则反易——补集思想,原理出处? 第1页

  

user avatar   liu-yang-zhou-23 网友的相关建议: 
      

在数理逻辑中,可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说,也就是存在由此及彼的“距离”。只要距离有限,总会存在一个已知与该未知距离最近,那么反过来就会最远,只要不在两者的中点位置就行(这样的话就一样远,所以难度一致了)。

示意图如下:

A为待证的命题,B、C为已知点。

题主所说的全集无限大的情况,这个时候如上所述的距离是有限的吗?如果是无限的话,那么按照可证的定义,这个命题不能经过有限次演算完成,那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下,才是合理的。

以上我暗含多个假设,对命题的“难易”简单地定义为距离长短,而忽略了主观层面的因素。




  

相关话题

  你的科研之路是怎样的? 
  股市之中百分之九十的散户都是在亏钱,那从概率角度来看,我是否大概率能赢散户的钱? 
  如何看待一农民号称「推导出了世界上第一个悬链线计算公式」? 
  数学的旨趣是什么?数学到底在干什么? 
  想知道这个定积分怎么算?∫[0-1](arcsin√x)/√(1-x+x^2)dx? 
  各位大佬,这题怎么做?球了? 
  这个级数应该如何求和,关于数项级数求和证明的问题? 
  如何评价2021年第62届IMO试题? 
  为什么会对微积分有种「这个思路不是严格推导出来的,而有一点人为规定的成分」的感觉? 
  这个定积分怎么搞? 

前一个讨论
所有正方形的数量与所有长方形的数量相等吗?
下一个讨论
如何判断向量组是否线性相关?





© 2025-03-28 - tinynew.org. All Rights Reserved.
© 2025-03-28 - tinynew.org. 保留所有权利