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