【词语名称】算术化(suanshuhua)
【词语拼音】suan shu hua
【词语读音】suàn shù huà
【词语简拼】SSH
【网络释义】 算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。
【分字组词】化字组词 术字组词 算字组词