不好意思，這一篇主要是在GEB讀到了Zeno，剛好看壇裏大家對“點”感興趣，

來源: 於 2023-12-22 17:38:11 [舊帖] [給我悄悄話] 本文已被閱讀：次

所以順便聊一下Zeno和畢達哥拉斯學派的一二事。關於GEB寫的關於羅素的問題，那可說來話長了。小小聊一個點，羅素的type theory ，並沒被判“死刑”，實際上CS裏的type system也基於type theory。這一點您應該比我懂。：）