推 zuchang: 我覺得不行 因為你直接把假設的結果當證明 07/15 15:36
推 zuchang: 前面的歸納假設就沒問題 字醜見諒 歸納法就是頭尾先寫 07/15 15:41
→ zuchang: 中間可以湊出來就交卷 07/15 15:41
→ Ricestone: 不用寫那麼多啊，寫到Ack(0,Ack(1,2+2k))這裡的時候， 07/15 15:57
→ Ricestone: 就能套用(a)結論，於是知道=Ack(0,2k+4)=2k+5=3+2(k+1) 07/15 15:59
→ Ricestone: 寫到這裡就因induction結束了 07/15 15:59
→ zuchang: 沒看a直接寫....... 哈哈哈的確這樣大概2行就end了 07/15 16:05