简单说就是总有未知的情形
【 在 nlgdczm 的大作中提到: 】
: 标 题: Re: 知道哥德尔定律的人就知道自动驾驶永远不可实现
: 发信站: 水木社区 (Mon Jul 28 12:31:37 2025), 站内
:
: 包含自然数算术的形式系统，若具有相容性（无矛盾），则必然存在在该系统中无法被证明或证伪的命题，即“不可判定命题”。
: 翻译到智驾上怎么讲？
:
: 【 在 covidtest 的大作中提到: 】
: : 理论指导实践。
: --
:
: ※ 来源:·水木社区
http://m.mysmth.net·[FROM: 183.192.28.*]
--
FROM 124.127.170.*