语意词典 - 汉语词语查询专家
算术化
suàn shù huà
ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ

📖 词语释义

更多解释

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

✂️ 拆字组词

🔗 相关词语

🐾 热门组词

友情链接