算术化

词语解释

算术化[ suàn shù huà ]

算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。

词语组词

• 算字组词
• 术字组词
• 化字组词

猜您喜欢

• yī wā sǐ shuǐ一洼死水
• shàng chà bié yù上差别阈
• chóu jiā diàn仇家店
• qǐ shì yè dān wèi企事业单位
• tóng gōu xiāng佟沟乡
• kè zī lēi克孜勒
• láo dòng liàng劳动量
• gǔ chéng fēi hóng jì古城飞鸿记
• shèng dān ní sī圣丹尼斯
• rú guǒ ài gē qiǎn如果爱搁浅
• yè miàn夜面
• dà qí chún chǐ cháng大鳍唇齿鲿
• yīng ér chē gōng lüè婴儿车攻略
• shí zhāo实招
• xiǎo wāng xíng jǐng小汪刑警
• qiáng gān yè强肝液
• guàn huài惯坏
• héng liú bèng恒流泵
• wén fā kē文发科
• zhì lì dòu péng智力斗篷
• zhū lì xián朱立贤
• xìng lín jiē dào杏林街道
• yù wàng de huǒ yàn欲望的火焰
• shuǐ bài水稗
• huó tǐ méi活体酶
• qīng huà清化
• zhǔ hé lù jiē dào渚河路街道
• wù wù jiāo huàn物物交换
• mǐ bǎo米堡
• mò yīn bǐ莫因比
• fú shè tōng liàng mì dù辐射通量密度
• tán yù xiá谭玉霞
• tōng shèng jiē dào通胜街道
• mǎ qīng bō马清波
• mǎ ěr qí ní马尔奇尼
• wèi huì píng魏惠平
• guǐ gài鬼盖
• bào bān zhī nián豹斑脂鲶
• bái bān guāng sāi què diāo白斑光鳃雀鲷
• liǎn mǔ dān yīng wǔ脸牡丹鹦鹉
• má là zhǔ bō麻辣主播
• ào zhōu huáng dì xiè澳洲皇帝蟹
• duǎn bǐng mù guā hóng短柄木瓜红
• hóng jīn shè mì niǎo红襟摄蜜鸟
• sī mǎ liè dōng司马列东
• wáng lín lěi王林磊
• chū zhōng hǎi初中海
• gāo qǐ tài高启太
• féng zōng xiáng冯宗祥
• yán xīn guó闫新国