文络智义词库

2026-07-12 10:42:54

算术化

suàn shù huà · ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ

字母
suan shu hua
首字母
ssh
注音符号
ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ
注音首符
ㄙㄕㄏ

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

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接