ゲーデル[Kurt G?del]

(1906—1978)オーストリア出身のアメリカの数学者·論理学者。一階述語論理の完全性を証明，さらに形式的体系における決定不能命題の存在を主張する不完全性定理を見いだし，論理学および数学基礎論に大きな影響を及ぼした。哥德尔(1906—1978)。奥地利出身的美籍数学家、逻辑学家。证明了谓词逻辑的完全性，进而发现主张在形式体系方面存在决定不能命题的不完全性定理，给逻辑学及数学基础论带来很大影响。

单词	ゲーデル[Kurt G?del]
释义	ゲーデル[Kurt G?del] (1906—1978)オーストリア出身のアメリカの数学者·論理学者。一階述語論理の完全性を証明，さらに形式的体系における決定不能命題の存在を主張する不完全性定理を見いだし，論理学および数学基礎論に大きな影響を及ぼした。哥德尔(1906—1978)。奥地利出身的美籍数学家、逻辑学家。证明了谓词逻辑的完全性，进而发现主张在形式体系方面存在决定不能命题的不完全性定理，给逻辑学及数学基础论带来很大影响。
随便看	ちょうじょちょうじょ【長女】ちょうじょうちょうじょう【超常】ちょうじょう【重畳】ちょうじょう【長上】ちょうじょう【長城】ちょうじょう【頂上】ちょうじょうかいだんちょうじょうかいだん【頂上会談】ちょうじょうげんしょうちょうじょうげんしょう【超常現象】ちょうじりちょうじり【帳尻】ちょうじるちょうじろうちょうじろう【長次郎】ちょうじろうしちしゅちょうじろうしちしゅ【長次郎七種】ちょうじんちょうじん【超人】ちょうじん【鳥人】ちょうじんてきちょうじんてき【超人的】ちょうすいろ