西西河

主题:【讨论】趣味数学题 -- 任爱杰

共:💬155 🌺244 🌵1 新:
全看分页树展 · 主题 跟帖
家园 程序只是验证,不会发现新东西

证明虽然理论上也是同义反复,但总归可以得出一些重要且有用的结论(定理等)。如果证明的必要都没有,那写程序验证就更没有必要了。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河