lifallen的博客

语言；世界模型；相对论；语言游戏；判断依据

我是个怪圈》的第十章有趣地谈论了这一点。蒯因引号悖论非常直观的展示了一个句子如何谈论自身，这也是哥德尔定理的实质。直观上如果不适用指代，一个句子似乎没办法谈论自己，比如说谎者悖论‘我在说话’，似乎必要的使用‘我’、‘本句话’这样的词语。哥德尔到底是如何把一个公式的哥德尔配数纳入这个公式本身的？它看起来就像要努力把一头大象塞进一个火柴盒里——而且从某种意义上来说就是这样。！这里的要诀有赖于一个简单的事实，即（例如，387 420 489，用五个字就可以描述出来：9的9次方）。；

世界模型；人工智能；深度学习；视频生成；OpenAI；Sora

停机问题；算法；图灵机