西西河

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

  • 共: 💬 155 🌺 244 🌵 1
程序只是验证,不会发现新东西

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



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

Copyright © cchere 西西河