释
算术化
suàn shù huà · ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ
修撰于 2026-06-29 17:47:38
音义
| 拼音 | suàn shù huà |
|---|---|
| 字母 | suan shu hua |
| 首字母 | ssh |
| 注音 | ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ |
| 注音符号 | ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ |
广训
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。
suàn shù huà · ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ
修撰于 2026-06-29 17:47:38
| 拼音 | suàn shù huà |
|---|---|
| 字母 | suan shu hua |
| 首字母 | ssh |
| 注音 | ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ |
| 注音符号 | ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ |
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。