不好意思，这一篇主要是在GEB读到了Zeno，刚好看坛里大家对“点”感兴趣，

来源: 于 2023-12-22 17:38:11 [旧帖] [给我悄悄话] 本文已被阅读：次

所以顺便聊一下Zeno和毕达哥拉斯学派的一二事。关于GEB写的关于罗素的问题，那可说来话长了。小小聊一个点，罗素的type theory ，并没被判“死刑”，实际上CS里的type system也基于type theory。这一点您应该比我懂。：）