计算机能做数学吗?| 展卷
2020年6月7日 - 网易
阿蒂亚(MichaelAtiyah)曾说过:“我们的理想是探究数学真谛,而不是利用机械执行指令的计算机推演论证。”另一位菲尔兹奖获得者泽尔曼诺夫(Zelmanov)也表示赞同:“只有所有数学家都认可的证明方法才是真正有效的,所以我对机器证明方法的前景并不看好。”他说的有道理吗?如果数学证明方法只有生成它的机器能够理解,我们真...
详情
计算机证明的数学定理,真的可以相信吗?
2020年12月6日 - 网易
阿蒂亚(MichaelAtiyah)曾说过:“我们的理想是探究数学真谛,而不是利用机械执行指令的计算机推演论证。”另一位菲尔兹奖获得者泽尔曼诺夫(Zelmanov)也表示赞同:“只有所有数学家都认可的证明方法才是真正有效的,所以我对机器证明方法的前景并不看好。”他说的有道理吗?如果数学证明方法只有生成它的机器能够理解,我们真...
详情