看围棋人机大战，谈四色猜测的证明

雷明85639720 · 发表于 2016-5-18 17:59

，，，，，，，，

雷明85639720 · 发表于 2016-5-19 14:56

,,,,,,,,

雷明85639720 · 发表于 2016-5-20 09:00

，，，，，，，

雷明85639720 · 发表于 2016-9-22 19:01

，，，，

zengyong · 发表于 2016-9-25 09:57

学数学证明的人起码应该知道凭计算机验证是不能算作数学证明的.
否则几乎所有的世界数学难题都不是难题.
例如:
1. 歌德巴赫猜想已经知道歌猜数(即一个偶数含有多少对和等于它的素数对)随着偶数
的变大越来越多. 计算机已经验算对非常大的偶数歌德巴赫猜想都正确.
2.计算机已经验算对非常大的整数都存在孪生素数.
3.计算机已经验算对非常大的整数都存在梅森素数.
4.计算机已经验算对非常大的整数都不存在奇完全数.
......
但这些都不能证明以上的猜想和难题.

雷明85639720 · 发表于 2016-9-25 11:01

对的。验算的再多，还总是没有全部验算完。

雷明85639720 · 发表于 2016-9-26 15:48

，，，，

雷明85639720 · 发表于 2016-10-21 16:01

，，，，

		自动登录	找回密码
密码			注册