- 主题:一个数学难题解决不了根本原因是什么?
比如一道数学证明题,七证八证,或者各种变换来变换去,又构造又辅助的,终于证明或求解出来了。有的耗尽各种大师的毕生也没解决。大家想过没有核心原因是什么?
我先抛个砖:我做高中习题和大学习题的时候,当时想过这个原因。核心原因就是可被人类认知和理解的路径太缺乏。而且极其可能所有貌似很难的问题,其实pathway有很多,只是人类目前可理解和认知的就那一两种,所以就得七绕八绕。近年来新词:降维打击其实就是这个意思。
--
修改:maplab FROM 39.144.49.*
FROM 39.144.49.*
【 在 maplab 的大作中提到: 】
: 比如一道数学证明题,七证八证,或者各种变换来变换去,又构造又辅助的,终于证明或求解出来了。有的耗尽各种大师的毕生也没解决。大家想过没有核心原因是什么?
: 我先抛个砖:我做高中习题和大学习题的时候,当时想过这个原因。核心原因就是可被人类认知和理解的路径太缺乏。而且极其可能所有貌似很难的问题,其实pathway有很多,只是人类目前可理解和认知的就那一两种,所以就得七绕八绕。近年来新词:降维打击其实就是这个意思。
赞同。为什么很多科学突破都来自灵感,就是灵感激发了一个新在思路路径。
--
FROM 115.234.9.*
差不多,没有有效的工具。这也是为啥解决难题荣誉很高。一般都会发展些工具出来
--
FROM 220.191.32.*
我做高中习题和大学习题的时候
.......
人怎么推不倒泰山?无它,力小而
【 在 maplab 的大作中提到: 】
: 比如一道数学证明题,七证八证,或者各种变换来变换去,又构造又辅助的,终于证明或求解出来了。有的耗尽各种大师的毕生也没解决。大家想过没有核心原因是什么?
: 我先抛个砖:我做高中习题和大学习题的时候,当时想过这个原因。核心原因就是可被人类认知和理解的路径太缺乏。而且极其可能所有貌似很难的问题,其实pathway有很多,只是人类目前可理解和认知的就那一两种,所以就得七绕八绕。近年来新词:降维打击其实就是这个意思。
--
FROM 52.9.227.*
解不出来是不是因为我们概念定义的太复杂?
【 在 maplab 的大作中提到: 】
: 比如一道数学证明题,七证八证,或者各种变换来变换去,又构造又辅助的,终于证明或求解出来了。有的耗尽各种大师的毕生也没解决。大家想过没有核心原因是什么?
: 我先抛个砖:我做高中习题和大学习题的时候,当时想过这个原因。核心原因就是可被人类认知和理解的路径太缺乏。而且极其可能所有貌似很难的问题,其实pathway有很多,只是人类目前可理解和认知的就那一两种,所以就得七绕八绕。近年来新词:降维打击其实就是这个意思。
--
FROM 113.140.163.*
核心原因是超级难题都需要发明新理论框架新数学语言
因而难
也因而无法用机械化流程化的方法证明出来
这也是诸如黎曼猜想这样的数学难题有价值有魅力的地方
七绕八绕是非常低端的事,初高中数学证明题才七绕八绕
【 在 maplab 的大作中提到: 】
: 比如一道数学证明题,七证八证,或者各种变换来变换去,又构造又辅助的,终于证明或求解出来了。有的耗尽各种大师的毕生也没解决。大家想过没有核心原因是什么?
: 我先抛个砖:我做高中习题和大学习题的时候,当时想过这个原因。核心原因就是可被人类认知和理解的路径太缺乏。而且极其可能所有貌似很难的问题,其实pathway有很多,只是人类目前可理解和认知的就那一两种,所以就得七绕八绕。近年来新词:降维打击其实就是这个意思。
--
FROM 124.207.38.*
先发明工具,然后降维打击
【 在 pageup 的大作中提到: 】
: 核心原因是超级难题都需要发明新理论框架新数学语言
: 因而难
: 也因而无法用机械化流程化的方法证明出来
: ...................
--
FROM 39.144.49.*
概念主要要照顾人类认知能力和记忆能力
【 在 NodeB 的大作中提到: 】
: 解不出来是不是因为我们概念定义的太复杂?
:
--
FROM 39.144.49.*
不是所有的真命题都能证明的
实际上所有的真命题里
能证明的是少数
【 在 maplab 的大作中提到: 】
: 比如一道数学证明题,七证八证,或者各种变换来变换去,又构造又辅助的,终于证明或求解出来了。有的耗尽各种大师的毕生也没解决。大家想过没有核心原因是什么?
: 我先抛个砖:我做高中习题和大学习题的时候,当时想过这个原因。核心原因就是可被人类认知和理解的路径太缺乏。而且极其可能所有貌似很难的问题,其实pathway有很多,只是人类目前可理解和认知的就那一两种,所以就得七绕八绕。近年来新词:降维打击其实就是这个意思。
--
FROM 114.241.80.*
缺乏合适的理论指导和完整的思维体系
--
FROM 117.82.20.*