推文推太多 好像回文比较快 .... Orz ※ 引述《sarsenwen (毕业就好)》之铭言： : 证明质数有无限多个 : 就是先假设质数有有限个 : 然後进行推理 推到矛盾的结论 : 但为什麽"得到矛盾"可以推到"质数有无限多个" : 中间似乎有过程跳跃 : 我想知道怎麽跳跃的? : 也就是怎麽证明"反证法"可行? 通常逻辑系统里面都有这条 False --> P 其中 P 是任意的语句 这条被称为 ex falso quodlibet 意思就是荒谬可以推论出任何事情 (不负责举例 : 阿骗为了建国才要把钱汇往海外 那主播就会吃大便 ?!) 所以 为了要使逻辑系统有意义 (nontrivial) 不能容许有矛盾的存在 於是 当有语句推论出 False 的时候 我们只好把这语句也当成 False 然後呢 如何证明反证法可行 <--- 其实这是个好问题 如果证的出来大概就红了吧 XD 这牵涉到如何去 "描述" 和 "推论" 所谓的 "证明的法则" 这又是另外一个逻辑系统 根据原po举的例子的是有限质数的问题和我有限的理解之下 我建议原po可以去研究 Mathematical Logic 这块领域 相信在你看过 Godel Incompleteness Theorem 之後 你大概也会跟我一样觉得这问题不可解吧 一点浅见 有错请指教 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 219.70.194.148