incompleteness theorem
基本解釋
- [數(shù)學(xué)]不完全性定理
- [語(yǔ)言學(xué)]不完備原理
- [心理學(xué)]哥德?tīng)柌煌耆ɡ?/li>
- [計(jì)算機(jī)科學(xué)技術(shù)]不完整定理
- [哲學(xué)]不完全性定理
英漢例句
- Godel's incompleteness theorem seems like a practical joke.
哥德?tīng)柕牟煌耆ɡ砭拖笠粋€(gè)惡作劇. - First, "completeness" in Completeness theorem is distinct from that one in Incompleteness theorems.
首先,哥德?tīng)柕耐耆远ɡ砗筒煌耆远ɡ碇械摹巴耆浴笔莾蓮h事。 - 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)中証明。
雙語(yǔ)例句
詞組短語(yǔ)
- Godel incompleteness theorem 哥德不完整性定理;繙譯
- godel s incompleteness theorem 哥德?tīng)柖ɡ?/li>
- Goedel 's incompleteness theorem 哥德?tīng)柌煌耆远ɡ?/li>
- G ?del's incompleteness theorem 定理;哥德?tīng)柌煌耆远ɡ?/li>
- Godel 's Incompleteness Theorem 葛代爾不完備定理;不完全性定理
短語(yǔ)
專業(yè)釋義
- 不完全性定理
- 不完備原理
- 哥德?tīng)柌煌耆ɡ?/li>
計(jì)算機(jī)科學(xué)技術(shù)
- 不完整定理
- 不完全性定理