看板
[ logic ]
討論串世上沒有事情簡單的
共 15 篇文章
內容預覽:
一般人講的證明和數學上講的證明常常是兩回事。. 其實對於一般人問 1+1=2 怎麼證明,應該要先問他 1是什麼? +是什麼?. = 是什麼? 2是什麼?. 集合論的證明其實是驗證那個標準的建構自然數方法的實用性。. 其實你寫了一大堆,遵循上面的步驟,脫掉外衣,其實只是在說. 1 := 0^+,2 :
(還有332個字)
內容預覽:
Author: Pinter 參考書籍 Set Theory/ Charlies C. Pinter/ Addison-Wesley. Publication Company, inc.. We will proceed as follows: we define. 0 = {}.. In orde
(還有7636個字)