算术化
suàn shù huà
ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ
📖 词语释义
- 拼音字母suan shu hua
- 首字母ssh
- 注音符号ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ
- 更新2026-07-16 04:30:40
更多解释
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。