文件名称：robust optimization method. and application ben-tal2002.pdf
文件大小：334KB
文件格式：PDF
更新时间：2023-08-25 10:57:52
robust opt
那么，费马大定理会不会也是不可证明的呢？人们不得而知，但这种怀疑论足够扑灭绝大多数人的热情。 到了离费马过世差不多三百年的时候，终于又出现了一个振奋人心的角色，但是它却不是一个人，而是，计算机。计算机的出现，让人们开始考虑，人类不能解决的费马大定理问题，是不是可以依赖计算机来解决呢？计算机超凡的计算能力，对于数学当然是有很大帮助的，比如同样著名的四色定理，最终证明就是靠计算机完成的，这在当时是一件极为轰动的大事。 不过，计算机证明仍然需要被理智地看待