词语含义查询 · 在线释义
查询结果
suàn shù huà · ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ
数据更新：2026-07-14 13:02:47
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。