算术化

词语释义
suàn shù huà | ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ
拼音字母
suan shu hua
拼音首字母
ssh
注音符号
ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ

百科释义

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

组词