incompleteness theorem

常見例句

雙語(yǔ)例句

• Godel's incompleteness theorem seems like a practical joke.
  哥德爾的不完全定理就象一個(gè)惡作劇.
• 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.
  不完全性定理是說(shuō)如果足夠豐富的形式系統(tǒng)是和諧的，那麼存在可以形式表述的真命題不可在系統(tǒng)中証明。
返回 incompleteness theorem