你
请解释一下「算术化」这个词的含义。
助手
算术化
suàn shù huà · ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ
suan shu hua
ssh
ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ
2026-07-11 02:03:47
扩展释义
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。
请解释一下「算术化」这个词的含义。
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。