请输入您要查询的日文单词:
单词
ゲーデル[Kurt G?del]
释义
ゲーデル
[
Kurt G?del
]
(1906—1978)オーストリア出身のアメリカの数学者·論理学者。一階述語論理の完全性を証明,さらに形式的体系における決定不能命題の存在を主張する不完全性定理を見いだし,論理学および数学基礎論に大きな影響を及ぼした。
哥德尔(1906—1978)。奥地利出身的美籍数学家、逻辑学家。证明了谓词逻辑的完全性,进而发现主张在形式体系方面存在决定不能命题的不完全性定理,给逻辑学及数学基础论带来很大影响。
随便看
ハーバー【harbor】
ハーバードだいがく
ハーバードだいがく【ハーバード大学】
ハーバード大学
ハーバーボッシュほう
ハーバーボッシュほう【ハーバーボッシュ法】
ハーバーボッシュ法
ハーバーマス
ハーバーマス[Jürgen Habermas]
ハーフ
ハーフ【half】
ハーフィズ
ハーフィズ[H·āfiz·]
ハーフィズ[Hāfiz]
ハーフィンダールしすう
ハーフィンダールしすう【ハーフィンダール指数】
ハーフィンダール指数
ハーフウエー
ハーフウエー【halfway】
ハーフウエーライン
ハーフウエーライン【halfway line】
ハーフコート
ハーフサイズカメラ
ハーフサイズカメラ【half-size camera】
ハーフスイング
日汉互译翻译词典包含403511条日汉翻译词条,涵盖了常用日语单词及词组短语的翻译及用法,是日语翻译入门的必备学习工具。
Copyright © 2000-2023 Newdu.com All Rights Reserved
更新时间:2025/8/15 4:39:40