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

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

所有跟帖： 

• 这边点和线不动的什时候都还没有完全解决，要不你先看一下这个？ -JSL2023- ♂ (116 bytes) () 12/22/2023 postreply 17:48:05

• 舞狼引得几何原本上不是写着点是点，线是线，并没有写线是由点组成的，更不存在什么铺满，这两是不同的概念。 -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 18:22:00

• 主要是在讨论两者的关系 -JSL2023- ♂ (373 bytes) () 12/22/2023 postreply 18:50:05

• 所以3是由1组成的吗？如果不是为什么3-2等于1？ -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 19:25:34

• 不懂1 2 3:） -JSL2023- ♂ (0 bytes) () 12/22/2023 postreply 19:33:40

• 两线相交于一点，并不代表线就是由点组成的，就像3-2=1也不代表3是由1组成的。它们是一个系统但是是不同的概念。 -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 20:03:00

• 参见我的 点和线 -JSL2023- ♂ (302 bytes) () 12/22/2023 postreply 20:12:19

• 您大概理解有点偏差。Real Analysis里面只是以线作为辅助理解工具，从未提及长度。数是没有长度的。 -露重烟微- ♀ (497 bytes) () 12/22/2023 postreply 20:28:46

• 应该是有问题，只是民科版，网友己加上无穷小，你看还可以怎样能更清楚：） -JSL2023- ♂ (344 bytes) () 12/22/2023 postreply 20:40:37

• 其实没啥打架的，我也没觉得人家是民科。只是您将辅助理解的工具误认为了研究对象本身。 -露重烟微- ♀ (749 bytes) () 12/22/2023 postreply 21:19:27

• 我是民科：） -JSL2023- ♂ (150 bytes) () 12/22/2023 postreply 21:26:39

• 映射不是等于。只是将本来抽象的点线面更加抽象到symbol。 -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 21:39:00

• 那为什么我们关心Godel -JSL2023- ♂ (116 bytes) () 12/22/2023 postreply 21:41:28

• 出个无情对：树已千寻难纵斧。您在这里提Goedel 的论据，就像这上下联的关系一样：） -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 21:54:00

• 没有文学细胞：） -JSL2023- ♂ (0 bytes) () 12/22/2023 postreply 21:59:55

• Google既可，一点研究能力。：） -露重烟微- ♀ (0 bytes) () 12/22/2023 postreply 22:02:00