基本属性
- 拼音字母suan shu hua
- 拼音首字母ssh
- 注音符号ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ
扩展释义
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。
「算术化」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:suàn shù huà,注音:ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ。
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。