robust optimization method. and application ben tal2002.pdf

那么,费马大定理会不会也是不可证明的呢?人们不得而知,但这种怀疑论足够扑灭绝大多数人的热情。 到了离费马过世差不多三百年的时候,终于又出现了一个振奋人心的角色,但是它却不是一个人,而是,计算机。计算机的出现,让人们开始考虑,人类不能解决的费马大定理问题,是不是可以依赖计算机来解决呢?计算机超凡的计算能力,对于数学当然是有很大帮助的,比如同样著名的四色定理,最终证明就是靠计算机完成的,这在当时是一件极为轰动的大事。 不过,计算机证明仍然需要被理智地看待