作者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