formal undecidable proposition
... The undecidable-- 不可决策的问题 formal undecidable proposition 形式不可判定命题 Undecidable Decision Problem 不可解问题 ...
基于24个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
该定理揭示了在一个相容形式系统中存在着不可判定的命题。
This theorem reveals that there exist undecidable propositions in a consistent formal system.
youdao
应用推荐
模块上移
模块下移
不移动