真理在形式语言中无法定义
阿尔弗雷德·塔斯基的定理揭示了真理无法在形式语言内部完全定义。这暴露了逻辑自指的根本局限性。它影响了从哲学到人工智能等领域。
1933年，逻辑学家阿尔弗雷德·塔斯基指出，在任何强大的形式语言中，如数学，你无法仅用该语言定义其所有陈述的“真理”。这意味着语言无法完全描述自身的真理，否则就会陷入悖论。著名的说谎者悖论就是一个例子。
故事还有更多内容 — 打开应用继续阅读。
在应用中继续阅读
还有1个段落 · 再加3题测验
相关事实
数学 →数学概念、理论、谜题和应用
获得完整体验