楼主:
skyoun (skyoun)
2018-05-23 13:21:22※ 引述《lovepork (我爱猪肉不爱牛肉)》之铭言:
(恕删)
: 以后电脑硬件的运算速度快到一个程度后
: 写出方程式和找解析解的这个过程
: 484就变得次要了?
: 因为电脑数值计算的速度可能比你用纸和笔算 更快了
: 有没有八卦?
说个“费马大定理”的梗
1637年,有个数学家在书本空白处写下一段“猜想”
.....
经过300多年的时光,就是没有办法证明“猜想为真”,或是“猜想是错的”
.....
然后,就有人开始拿着电脑来算
1955年,以电脑计算证明了 2 < n < 4002 成立
1976年,以电脑计算证明了 2 < n < 125000 成立
1985年,以电脑计算证明了 2 < n < 41000000 成立
1987年,以电脑计算证明了 2 < n < 10^1800000 成立
就是找不出一个“猜想不成立”的数值
也没办法确定“下一个数字,这个猜想成立与否”
直到1995年,某数学家完成了这个证明 ( n>2 都成立 )
如果拿电脑持续算下去,永远不会有完全确定的一天!