incompleteness theorem
基本解释
- [数学]不完全性定理
- [语言学]不完备原理
- [心理学]哥德尔不完全定理
- [计算机科学技术]不完整定理
- [哲学]不完全性定理
英汉例句
- Godel's incompleteness theorem seems like a practical joke.
哥德尔的不完全定理就象一个恶作剧. - First, "completeness" in Completeness theorem is distinct from that one in Incompleteness theorems.
首先,哥德尔的完全性定理和不完全性定理中的“完全性”是两回事。 - Incompleteness theorem show that if a strong formal system is consistent, there is a sentence which is true but nor provable.
不完全性定理是说如果足够丰富的形式系统是和谐的,那么存在可以形式表述的真命题不可在系统中证明。
双语例句
词组短语
- Godel incompleteness theorem 哥德不完整性定理;翻译
- godel s incompleteness theorem 哥德尔定理
- Goedel 's incompleteness theorem 哥德尔不完全性定理
- G ödel's incompleteness theorem 定理;哥德尔不完全性定理
- Godel 's Incompleteness Theorem 葛代尔不完备定理;不完全性定理
短语
专业释义
- 不完全性定理
- 不完备原理
- 哥德尔不完全定理
- 不完整定理
- 不完全性定理