Turing著名的停机定理说明无法用有限时长的算法判定任意的计算机程序是否停机产生确定输出，这意味着你无法将某些永不停机的程序和其实会在等待时...

有人嫌市场卖的大蒜气味难闻，所以向买大蒜的人提供奖金，指望大家一口气买买买，以后市场上就没大蒜了。结果大蒜销路广开，市场上大蒜反而更多了。世人...

庄子与惠子游于濠梁之上。庄子曰：“鯈鱼出游从容，是鱼之乐也。”惠子曰：“子非鱼，安知鱼之乐？”庄子曰：“子非我，安知我不知鱼之乐？”惠子曰：“我...

此前笔者曾经提到AI效应，人们在计算机做出无法和足够聪明的人区分的行为后，依然会声称行为中表现的智能是假的。 按照这个逻辑，人在同类行为中体...

设想这样一个情境：面对问题X，算力不限的证明方（Prover）试图通过轮流问答来说服算力等同于概率性图灵机的验证方（Verifier）接受他的...

计算主义者会从一个过程可以被离散符号表征而推出其可以等价于计算机的运作的结论，从而断定人的思考可以直接被视作是计算。相反地，中文房间的支持者们...

“对P=NP，我已生成一个绝妙的证明。但因为P=NP，你将没有时间去读懂它。” “模”终于停止了久远的沉思。

理论科学家常会把他们的工作表述为“以数学为现象建立模型”，但其实数学上专研“模型”的分支（即模型论）中“模型”的涵义和用法几乎与之截然相反：模...

要避免对这个关键概念的误解，首先要明确的是在《逻辑哲学论》的语境下，一切能够用于表示/描述/对应某个事实的东西都算作一种语言，包括而不限于肢体...