Re: [問卦] 白馬到底是不是馬
※ 引述《sky1119 (?)》之銘言:
: 國中班導(數學老師)在講白馬論
: 第一次聽到白馬非馬
: 只覺得很荒唐,那白人也非人?
: 公孫龍說:「白馬並不是馬。因為白馬有兩個特徵,一是白色的,二是具有馬的外形,但
: 馬只有一個特徵,就是具有馬的外形。具有兩個特徵的白馬怎會是只具有一個特徵的馬呢
: ?所以白馬根本就不是馬。」
: 是不是在詭辯啊?
: 白馬到底是不是馬?
: 有沒有卦
白馬論一點也不荒唐,更不是詭辯,白馬論是
人類思考「集合論」的起點,即使是西方數學
,也是到19世紀中後才開始發現集合論的重要
性。在兩千多年前,就算只是很粗糙的語言,
能夠意識到集合論問題實在殊為不易。
如果用現在集合論的語言將當年的詭辯翻成白
話,那就會是
白馬非馬→{白馬的集合}不等於{馬的集合}
白馬是馬→{白馬的集合}是{馬的集合}的子集
但,兩千多年前「集合」的概念是否已出現在
古中文中都是個未知數 (看文字的使用方式也
不像有) ,能注意到「白馬非馬」這句話是有
可能成立的,實在是非常不簡單。
不要小看這個簡單的概念,現在很多我們習以
為常,即使是小學生也懂的概念人類也是花了
很長的時間才能吸收與理解,光是零和負數這
兩個概念人類就耗去幾百年光陰,兩千多年前
的白馬論在現在看來,知道其價值的人是多麼
感嘆它不被重視這麼久!
如果兩千多年前古中國就能發展出集合論,數
學史將完全被改寫,可能連帶著科技史也被改
寫,歷史會完全不一樣。
但是同樣地,白馬論不受重視也很正常,人類
發展了微積分、拉普拉斯轉換、傅利葉級數…
…,最後終於才在十九世紀後半到二十世紀初
發現了集合論的重要,重要到如果有些問題不
解決,數學的根基會出現嚴重的問題,其中最
著名的就是「羅素悖論」。
羅素悖論用數學語言請參考:
https://en.wikipedia.org/wiki/Russell's_paradox#Formal_presentation
如果羅素悖論用白馬非馬的語言重新寫過,大
概會長這樣:
凡物必所有其屬,同屬必有同質
今令質為此物非其屬
若屬為屬,則屬非屬
若屬不為屬,則屬為屬
這是在共三小!大概是所有人的第一感想吧
可能我翻得不好…若有文言文強者看到這篇
請教我更好的翻法
我想說的是,用兩千多年前的文言文非常有可
能無法有效地討論集合論。白馬非馬被嘲諷千
餘年是可以理解的。但是這不代表白馬論應該
繼續被嘲諷,當成詭辯。雖然生澀,但白馬論
確實是上古時代人類在基礎數理的領域的第一
步。正如我們不會嘲笑剛學走路的孩子走不好
一樣,白馬論的歷史價值應該被正視,而不是
在高中國文補充教材中被國文老師當成九流十
家之一草草交代過去,這樣做是一種對先人智
慧與歷史的無知。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 126.0.48.11 (日本)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1574005680.A.72E.html
→
11/17 23:49,
4年前
, 1F
11/17 23:49, 1F
北部粽能算是粽子嗎?
推
11/17 23:50,
4年前
, 2F
11/17 23:50, 2F
關科舉屁事啊,我是從數學史的角度切這件事的
※ 編輯: staristic (126.0.48.11 日本), 11/17/2019 23:53:01
噓
11/17 23:58,
4年前
, 3F
11/17 23:58, 3F
我就是數學系畢業的,有事嗎?
以現代的角度看過去,可笑的理論多的是
但並不減少那些理論在人類歷史上的價值
→
11/17 23:58,
4年前
, 4F
11/17 23:58, 4F
推
11/17 23:59,
4年前
, 5F
11/17 23:59, 5F
※ 編輯: staristic (126.0.48.11 日本), 11/18/2019 00:02:16
推
11/18 00:04,
4年前
, 6F
11/18 00:04, 6F
→
11/18 00:04,
4年前
, 7F
11/18 00:04, 7F
那什麼東西?沒聽過
→
11/18 00:05,
4年前
, 8F
11/18 00:05, 8F
→
11/18 00:06,
4年前
, 9F
11/18 00:06, 9F
就已經解釋了還跳針,來亂的?
※ 編輯: staristic (126.0.48.11 日本), 11/18/2019 00:09:38
推
11/18 00:14,
4年前
, 10F
11/18 00:14, 10F
討論串 (同標題文章)