数学上的证明存在解和工程上找到那个解尼玛就是两个世界啊。

举个例子好了，比如假如能证明pi是析取数（disjunctive number），那数学家就可以告诉他已经证明了pi里面包含你想问的一切问题的答案，然后他完成任务拍拍屁股就走了，你去pi里面找你要的答案吧...

【 在 fbf 的大作中提到: 】
: 双明都搞不定啊？数学上不是证明了完全信息的棋类游戏，必有最佳策略的吗？
: 发自「今日水木 on SM-G9910」
--
修改:lvsoft FROM 180.158.52.*
FROM 180.158.52.*