webjb

不管是不是民科踢馆，你在踢馆总是属实吧？

送交者: xing0gong 于 2026-05-03 10:54:10

理工科的人如果看不出你在踢馆，而纠结什么“连拉代扯”或者“理论力学瞬心”，即使不是学艺不精，至少也是没有get到你的初衷。

我给出简洁明确的车轮悖论数学表达，目的就是要你对那个数学命题给一个明确肯定或者否定的态度。你避而不答，相反执意把焦点集中在因为直觉错误而引出的悖论。再联系你对公理化集合论和希尔伯特的负面态度，我就猜出你对近代数学基础的基本观点不是主流的形式主义，而是非主流的直觉主义。

直觉主义的基本特征之一，就是反对用反证法进行数学推理。因为几乎所有公理化集合论基础定理都是通过反证法证明的，所以你根本就不承认这些定理的数理逻辑基础。歌德尔的不完备定理证明的核心也是使用反证法，说明数学推理引入反证法将导致数学系统的不完备。这给了你坚持数学直觉主义同时否定数学形式主义的理由。我的车轮悖论数学表达是建立在近代数学主流，即形式主义基础之上的。既然你根本就是要踢这个馆，那么你不正面亮明车轮悖论数学表达的态度就是理所当然的了。

阅读次数：135

所有跟贴:

加跟贴