※ 引述《lovepork (我愛豬肉不愛牛肉)》之銘言:
(恕刪)
: 以後電腦硬體的運算速度快到一個程度後
: 寫出方程式和找解析解的這個過程
: 484就變得次要了?
: 因為電腦數值計算的速度可能比你用紙和筆算 更快了
: 有沒有八卦?
說個「費馬大定理」的梗
1637年,有個數學家在書本空白處寫下一段「猜想」
.....
經過300多年的時光,就是沒有辦法證明「猜想為真」,或是「猜想是錯的」
.....
然後,就有人開始拿著電腦來算
1955年,以電腦計算證明了 2 < n < 4002 成立
1976年,以電腦計算證明了 2 < n < 125000 成立
1985年,以電腦計算證明了 2 < n < 41000000 成立
1987年,以電腦計算證明了 2 < n < 10^1800000 成立
就是找不出一個「猜想不成立」的數值
也沒辦法確定「下一個數字,這個猜想成立與否」
直到1995年,某數學家完成了這個證明 ( n>2 都成立 )
如果拿電腦持續算下去,永遠不會有完全確定的一天!