算术化

拼音 suàn shù huà · 注音 ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ · 2026-07-14 11:40:07
算字组词 术字组词 化字组词

基本属性

  • 拼音字母suan shu hua
  • 拼音首字母ssh
  • 注音符号ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ

扩展释义

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

相关推荐