作者sarsenwen (毕业就好)
看板logic
标题[请益] 反证法
时间Thu Oct 30 01:10:27 2008
证明质数有无限多个
就是先假设质数有有限个
然後进行推理 推到矛盾的结论
但为什麽"得到矛盾"可以推到"质数有无限多个"
中间似乎有过程跳跃
我想知道怎麽跳跃的?
也就是怎麽证明"反证法"可行?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.59.191.140
1F：推 miyukimygirl:厄..因为逻辑系统就是必须没有矛盾才行 10/30 04:00
2F：→ miyukimygirl:不然任何事情都可以被证出来阿 10/30 04:02
3F：→ miyukimygirl:然後 你的最後一句让我有点傻眼 10/30 04:03
4F：→ miyukimygirl:这跟 我要怎麽证明"我的证明是对的" 不是很像吗 10/30 04:04
5F：推 miyukimygirl:我猜"证明反证法是对的"是不可能的事情 10/30 04:06
6F：→ miyukimygirl:有兴趣可以去研究一下Godel Incompleteness Theorem 10/30 04:07
7F：推 ksmrt0123:p|~p is a tautology. if ~p is false then p is true 10/30 04:18