Re: [中學] 影片的數學歸納法是正確的嗎?

看板Math作者 (Farewell)時間7年前 (2018/07/14 08:24), 編輯推噓0(0010)
留言10則, 1人參與, 7年前最新討論串2/2 (看更多)
※ 引述《jason2718 (花若盛開)》之銘言 : 影片先附上https://youtu.be/TJYMoW1_llg
: 小弟我有兩個疑問,求版上大大釋疑 先說結論...爛透了 : 1.公設(或是公理)不是不可以被證明的嗎? : 那影片從2:25開始做的事情 : 卻又好像是在證明公設第五點? : (原本就知道N包含S : 經由把一個個後繼元素丟進S : 得到對於所有自然數都屬於S : 所以S包含N : 最後推得S=N) 他在「描述」第五點公設 把後繼元素一個個放進S的話 S「就會」包含所有自然數 第五點公設是那個「就會」 它表示數學歸納法是有效的 ex. 如果1/2是自然數 那數學歸納法就會漏掉它 實際上自然數被定義成 不會發生這種事 基本上第三四五點公設 都是在對自然數集合 N 作出限制 不要跑出奇奇怪怪的東西出來 p.s. 覺得像證明並不是錯覺 集合論可以定義與證明皮亞諾公設 證明其實也就是你寫的那樣 : 2.影片中從3:15開始解釋數學歸納法是正確的嗎? : 「把1丟進S」這個操作好像高中沒看過(? : 還是都是正確的,只是說法不同而已? 元素 1 屬於集合 S 把元素 1 放進集合 S 3. 他的第三點公設寫錯了 若兩自然數一樣,則後繼元素一樣 這應該是第二點公設的內容 1有一個後繼元素,也「只有」一個後繼元素 若兩自然數的後繼元素一樣,則它們自己一樣 這才是第三點公設的內容 不會有兩個人的後繼元素都是2 4. 他連加法都還沒定義,是要怎麼表示1+1 = 2 在定義過加法之後,才能證明後繼元素就是+1 ---- Sent from BePTT -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.216.161.8 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1531527844.A.AED.html

07/14 08:29, 7年前 , 1F
簡單來說 皮亞諾五公設大概是
07/14 08:29, 1F

07/14 08:30, 7年前 , 2F
1. 1是自然數
07/14 08:30, 2F

07/14 08:30, 7年前 , 3F
2. 1後面有2 2後面有3
07/14 08:30, 3F

07/14 08:30, 7年前 , 4F
(初步定義其他自然數)
07/14 08:30, 4F

07/14 08:31, 7年前 , 5F
3. 2前面只有1 3前面只有2
07/14 08:31, 5F

07/14 08:31, 7年前 , 6F
4. 1前面沒東西
07/14 08:31, 6F

07/14 08:31, 7年前 , 7F
5. 照著1, 2, 3...數下去 就能數完自然數
07/14 08:31, 7F

07/14 08:32, 7年前 , 8F
(也就是說 沒數到的都不算自然數)
07/14 08:32, 8F

07/14 08:32, 7年前 , 9F
所以皮亞諾公設合理定義了自然數
07/14 08:32, 9F

07/14 08:33, 7年前 , 10F
它表示自然數就是這些 也只有這些
07/14 08:33, 10F
文章代碼(AID): #1RIKAahj (Math)
文章代碼(AID): #1RIKAahj (Math)