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



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

  

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

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

示意图如下:

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

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

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




  

相关话题

  如何看待京都大学的望月新一教授证明「ABC 猜想」,发表在其主编的期刊上? 
  请问这个函数与不等式问题该怎么解答? 
  如何判断下面这个级数的敛散性? 
  《现代数学基础丛书》的封面图有什么数学背景? 
  数学是人类独有的吗? 
  数学系大一学生学习数分时看一页书花 20~30 分钟合理吗? 
  能用高等数学手段研究人文社科问题吗? 
  这个数学问题有解吗,有哪些好的处理思路? 
  是什么让数学对数学家来说「容易」?是他们大脑的机构与普通人不一样吗? 
  矩阵思维是什么意思? 

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





© 2025-04-26 - tinynew.org. All Rights Reserved.
© 2025-04-26 - tinynew.org. 保留所有权利