“上帝是存在的，因为数学是自洽的。魔鬼也是存在的，因为我们不能证明数学是自洽的。” ...

或：为什么停机问题比看上去要难很多？ 强人工智能，通俗来讲就是“有自主意识的电脑”/“有灵魂的机器”，简称强AI。 这玩意更多地是科幻小说爱好者...

“圣经中并没有说过一切大自然的定律都可以用线性方程来表示” ...

定理：令X代表判定图灵机工作带上一段长度为L的固定区域，其上的读写头若在X内逗留时间超过M·s^L，则两者必居其一： （1）图灵机将永不停机。 ...

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

旧作如何定量地证伪图灵测试？中提及的证明方（Prover）想要防止向验证方（Verifier）泄密时，可以采用零知识证明这种特殊的证明方式保证...

由贝叶斯公式易知，条件概率P（A|B）总是不大于P（A）/P（B），等号仅当P（B|A）=1时成立。 故，若P（A）<<P（B），则必有P（A|...