wayne 发表于 2018-2-1 08:31
我暂时还不打算考虑关于宇宙一切的终极答案，这个幽默太黑色了， 。与其找终极答案，不如，退一步，想 ...
我觉得设计Deep Thought和你的设想是同一个话题，建造Deep Thought是达到获得最精简数学理论的途径。
这个Deep Thought也不是马上就算关于宇宙一切的终极答案。先做个小目标，物理统一理论如何:lol
楼主的理想提过宏大。楼主想要的是一个高度的抽象，抽象的抽象。一般说来，抽象的东西比具体的要难好多倍。如费马大定理，当指数为一个具体值3,4时很容易证明，但当指数的值为大于3的一切整数时就无比困难。再如希尔伯特第十定理，考虑的不是某一种类型的不定方程（具体的）而是所有不定方程。虽最终解决，但着实不易，由多个科学家接力，才最终完成。要完成此项工作，所需的想象力和智力需在康托尔，哥德尔之上。
让我想起物理学的大统一理论。
高度抽象的理论可以解释很多领域内的规律。但是理论本身正确性的证明则困难的多。我们退而求其次，只要这个理论能解释某些规律，而自身不矛盾，则可这个理论为好的理论，而不去纠结这个理论是否能够被证明。但新的问题来了，我们可能发现好多个不同的理论，都能解释某些规律，但这些理论中哪一个才是正确的呢？
zeroieme 发表于 2018-2-1 19:14
我觉得设计Deep Thought和你的设想是同一个话题，建造Deep Thought是达到获得最精简数学理论的途径。
...
始终是讲精简规约，复杂性是自反馈形成的现象。
liangbch 发表于 2018-2-2 10:10
高度抽象的理论可以解释很多领域内的规律。但是理论本身正确性的证明则困难的多。我们退而求其次，只要这个 ...
基础理论不可以逻辑证明，企图逻辑证明理论的基础只是在循环论证。
数学使用不许辩驳的若干公理为基石。物理使用实验检验。
zeroieme 发表于 2018-2-2 14:12
始终是讲精简规约，复杂性是自反馈形成的现象。
目的是为了获得更高更清晰的视角，好确定哪些理论是在系统内可证明的，哪些是不可证明的，哪些是循环证明，无意义的问题．哪些是等价的命题...
１）conway的生命游戏告诉我们，非常简单的规则和初始条件也能创造出复杂，创造出混沌．反过来我们可以认为，复杂性和混沌不必只有复杂的理论才能解释的．
２）网上搜一下，勾股定理的证明多达几百个．但仔细梳理一下，又有多少可以做到没有循环证明？
=========================
Deep Thought我没花时间去了解和关注，好像用的是深度学习理论．这个用到了大量的数据，偏工程，属于资源密集型的大规模算法，耗费大量的计算资源．
wayne 发表于 2018-2-2 14:23
目的是为了获得更高更清晰的视角，好确定哪些理论是在系统内可证明的，哪些是不可证明的，哪些是循环证 ...
然而，想确定哪些理论是在系统内可证明的，哪些是不可证明的，哪些是循环证明，无意义的问题．哪些是等价的命题 。机器证明系统不可缺少，机器证明系统又需要深度学习、大量的数据、资源密集型、大规模算法……
本帖最后由 zeroieme 于 2018-2-2 23:34 编辑
应当说计算能力增强为深度学习提供了可能。我觉得深度学习作用不是突破什么理论，是实现了对人类直觉的模拟。
最显著的当然是棋类，人类棋手训练的不仅是多少步，更重要的是棋感，使算棋有个大方向。
同样，证明命题，从一个真命题套用什么定理得到下一个真命题再套用什么定理得到又下一个真命题直到所求命题的真伪。也是人类直觉在指导。
所以深度学习的作用反而是减少了搜索空间。
liangbch 发表于 2018-2-2 09:34
楼主的理想提过宏大。楼主想要的是一个高度的抽象，抽象的抽象。一般说来，抽象的东西比具体的要难好多倍。如费马大定理，当指数为一个具体值3,4时很容易证明，但当指数的值为大于3的一切整数时就无比困难。再如希尔伯特第十定理，考虑的不是某一种类型的不定方程（具体的）而是所有不定方程。虽最终解决，但着实不易，由多个科学家接力，才最终完成。要完成此项工作，所需的想象力和智力需在康托尔，哥德尔之上。
.前面多次或明或暗的解释过。我的方向并不空洞。我觉得我还是很清晰的。我要找到一个尺度,或者理论，来化简人类迄今所有的纷繁芜杂的理论，乃至形而上的东西，打破各种壁垒，还大家一个清晰的视野，视角，让大家明白人与人之间的想象力其实是无所谓高低之分的，智力也是无所谓无高低之分的，有的只是注意力和精力的投入的差异，有的只是各种受限访问的信息和暗语黑话所树立的认知壁垒。这个是我接下来给自己定的方向。当然朝这个方向走下去，对我个人的注意力管理，精力的管理是个非常巨大的挑战。
==================
(另外，我不认为IQ测试210分比牛顿140分高就意味着比牛顿更有产出能力，不认为做这件事情所需的想象力和智力需在康托尔，哥德尔之上。这个就不做解释了)