说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 相容的
1)  compatible(COMP)
相容的
2)  union-compatible
并相容的
3)  super-consistent
超相容的
4)  antipathic [英][,ænti'pæθik]  [美][,æntɪ'pæθɪk]
不相容的
5)  self-consistent [英][,selfkən'sistənt]  [美][,sɛlfkən'sɪstənt]
自相容的
6)  compatible [英][kəm'pætəbl]  [美][kəm'pætəbḷ]
可相容的
补充资料:ω相容性


ω相容性
onega - consistency 1? co- consistency

。相容性[佣梢,一目‘史狱y或。一co招is年n(刁;OMer:-肚nPOTHBo碘.B0c几」 算术形式系统的一种性质,表明不能得到。不相容性.田不相容性是形式系统的一种状况,指对某个公式A(x),无穷系列A(百),二,A(万),二中每个公式,以及公式二丫xA(x)都是可证明的,其中百是形式系统中一个常量代表数字O,而常量万是由(x)‘递归定义的,表示x的后继数:丽不万=(万)’. 。相容性这一概念是与算术的C位目不完全性定理(C往北1 incomPle~伍即比m)一起出现的.假设一个形式算术系统有。相容性,K .G议北l证明了这个系统的不完全性.田相容性这一性质比单纯的相容性(consisten卿)要强,只要公式A(x)中的x不出现就得到单纯的相容性.由G议无1不完全性定理就知道存在一个系统,它是相容的,但又是。不相容的.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条