推 Arton0306 : 這例子我知道 拿掉某一隻馬x 和另一隻馬y 剩下的集 09/25 00:45
→ Arton0306 : 合不一定有交集 所以P(k)=>P(k+1)無法證明 09/25 00:47
→ Arton0306 : 等等喔 我沒看到修文XD 09/25 00:48
→ LPH66 : 因為要講的有點多所以直接修文XD 09/25 00:48
推 Arton0306 : 這個例子我認為是 2~K可能為空集合 所以在inductive 09/25 00:54
→ Arton0306 : 階段錯誤 是一個"假設錯誤 也無法證出P(k+1)"的例子 09/25 00:54
→ Arton0306 : 但萬一有 假設錯 最後證出來怎麼辦xd 雖然我找不到 09/25 00:56
→ LPH66 : 換個方式思考這個例子, 它的推論在 K≧2 時確實成立 09/25 01:06
→ LPH66 : 所以 K=2 的狀況就是你所謂「假設錯但最後證出來」 09/25 01:06
→ LPH66 : 這裡的「假設錯」就是 N=2 不成立這件事09/25 01:07
→ LPH66 : 你可以想像一個平行世界, 那裡任兩隻馬都確實同色09/25 01:07
→ LPH66 : 這樣根據這個推論我們就能得到那世界的所有馬都同色09/25 01:08
多謝L大的解釋 覺得頭腦有點打結了xd
馬的這個例子
已證
1. P(1)
2. P(1)^P(2)...P(K)=>P(K+1), when K>=2
但因為P(2)沒證，所以無法套用在base上 造成證明失敗
但會不會存在像下面的東西
1. P(1)
2. P(1)^P(2)...P(K)=>P(K+1), when K>=1
但
==================
打到這我好像想通了 (但因為已經打了 不想刪文)
我一直卡在萬一像P(5)是錯的
結果P(1)^P(2)...P(K)=>P(K+1), when K>=1
被證出來怎麼辦
後來想想這不可能發生
證明過程中會像馬的例子一樣 必須多一個條件 K!=4
再次感謝L大的幫忙
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.137.23.134
※ 文章網址: http://www.ptt.cc/bbs/Math/M.1411581944.A.846.html