算术化

算术化的词语属性

算术化的百科含义

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

• 皮丕涛
• 光纤制导导弹
• 追溯源始
• 狐条蜂
• 培根炒花花
• 蓝旗营乡
• 遥测地震仪
• xiōng ōu凶殴
• 益肝煎
• 武警总医院
• 马瓜交儿
• 神武真道录
• 八百壮士
• 思智泰克
• 沃玛战将
• 超级星期舞
• 郑桥村
• 洪乔捎书
• yán yóu蜒蚰
• 孽角
• 总压缩率
• jìn guǒ禁果
• 卡延
• 朱宗瀚
• 网络自动化
• 继爆管
• 马克·霍顿
• 欠你一份人情
• 库楼七
• 板栗膏药病