incompleteness theorem
常見(jiàn)例句
- 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)柕耐耆远ɡ砗筒煌耆远ɡ碇械摹巴耆浴笔莾苫厥隆?/li> - 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