算术化

拼音suàn shù huà 注音ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ 更新2026-07-28 19:31:21
读音信息
拼音字母
suan shu hua
拼音首字母
ssh
注音符号
ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ
注音首字母
ㄙㄕㄏ
百科释义

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

拆字组词
相关词语