[請益] 反證法

看板logic作者 (畢業就好)時間15年前 (2008/10/30 01:10), 編輯推噓3(3推 0噓 4→)
留言7則, 2人參與, 最新討論串2/9 (看更多)
證明質數有無限多個 就是先假設質數有有限個 然後進行推理 推到矛盾的結論 但為什麼"得到矛盾"可以推到"質數有無限多個" 中間似乎有過程跳躍 我想知道怎麼跳躍的? 也就是怎麼證明"反証法"可行? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.59.191.140
推
10/30 04:00, , 1F
厄..因為邏輯系統就是必須沒有矛盾才行
10/30 04:00, 1F
→
10/30 04:02, , 2F
不然任何事情都可以被證出來阿
10/30 04:02, 2F
→
10/30 04:03, , 3F
然後 你的最後一句讓我有點傻眼
10/30 04:03, 3F
→
10/30 04:04, , 4F
這跟 我要怎麼證明"我的證明是對的" 不是很像嗎
10/30 04:04, 4F
推
10/30 04:06, , 5F
我猜"證明反證法是對的"是不可能的事情
10/30 04:06, 5F
→
10/30 04:07, , 6F
有興趣可以去研究一下Godel Incompleteness Theorem
10/30 04:07, 6F
推
10/30 04:18, , 7F
p|~p is a tautology. if ~p is false then p is true
10/30 04:18, 7F
‣ 更多 sarsenwen 的文章
文章代碼(AID): #1929a4e9 (logic)
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 2 之 9 篇)：
排序： 最舊先 | 最新先 | 留言數
請益
3
3
[請益] 反證法 反證法
sky91302018
16年前, 12/27
請益
3
7
[請益] 反證法 反證法
sarsenwen
15年前, 10/30
在新視窗開啟完整討論串 (共9篇)
‣ 更多 sarsenwen 的文章
文章代碼(AID): #1929a4e9 (logic)