逻辑问题

jkllll

横槊赋诗 发表于 2025-2-18 02:21
是，不过老实说，哲学上是否允许点线面这么替代？毕竟欧氏几何永远是最符合直觉的。不过这个问题跑题了。 ...

真正的严密的体系，排除任何直觉

需要直觉那还行

欧氏的问题，就是有的地方证明还需要直觉

横槊赋诗

jkllll 发表于 2025-2-18 02:25
真正的严密的体系，排除任何直觉

那是数学。


我觉得与现实挂钩的东西不可能不依赖直觉。像哲学家，也要谈常识，常识我记得在哲学中也有一席之地。

jkllll

横槊赋诗 发表于 2025-2-18 02:30
那是数学。

系统设置的结果，当然是符合直觉的，否则系统可能就错了


这是外部问题，元问题，

内部推理时，是不需要直觉的

jkllll

横槊赋诗 发表于 2025-2-18 02:30
那是数学。

健全的常识，当然很重要，也很宝贵，两码事

横槊赋诗

jkllll 发表于 2025-2-18 02:37
健全的常识，当然很重要，也很宝贵，两码事

你看到我前面发的链接了吗

jkllll

横槊赋诗 发表于 2025-2-18 02:38
你看到我前面发的链接了吗

有，我觉得世界面临米地一家独大的风险，单机化是人类前所未有的风险

横槊赋诗

jkllll 发表于 2025-2-18 02:41
有，我觉得世界面临米地一家独大的风险，单机化是人类前所未有的风险

90年代南宁调查，对于繁体字有明确“不规范”意识的，大多是教师和学生。调查中干部达33人，反而好像不管。

jkllll

横槊赋诗 发表于 2025-2-18 02:10
你真了解公理集合论？zfc体系里一切都是集合，自然数也是，这对于初学者很不友好。
...

用集合构造数，最初是罗素逻辑主义计划中的一个基础步骤


逻辑主义计划是要把数学用逻辑学集合论构造出来


但后来哥德尔不完全性定理的发现了，这计划也就失去意义了

jkllll

横槊赋诗 发表于 2025-2-18 02:04
希尔伯特公理其实太抽象，而且他继承了欧式几何的老毛病——拒绝数字，只用几何概念。希尔伯特大概是想继 ...

它那个不是让你学几何学的具体知识的
要学几何学的具体知识，你还用得着去学公理系统？
公理系统自有公理系统的作用
有很多元问题，只有系统才能谈
公理系统一般建立在更严密的基础上
也可以讨论命题之间的关系，哪些命题更基本，可作为公理，哪些适合作推出命题
也可以讨论一些元命题，如系统的有效性，一致性，完备性，等等

总之，公理系统有公理系统的作用，一般不是用来学具体知识的

魔力鸟

都是伪命题，在中国成长的美国科学家可不少

jkllll

魔力鸟 发表于 2025-2-19 08:33
都是伪命题，在中国成长的美国科学家可不少

  ？

jkllll

魔力鸟 发表于 2025-2-19 08:33
都是伪命题，在中国成长的美国科学家可不少

黄仁勋，李飞飞，吴恩达。。。。？