gödel

[アメリカ]/[ˈɡeɪdl]/
[イギリス]/[ˈɡeɪdl]/

日本語訳

n.哥德尔,奥地利逻辑学家,以不完备定理闻名

フレーズ・コロケーション

gödel's proof

ゲーデルの定理

gödel number

ゲーデルを証明する

gödel's theorem

ゲーデル番号

by gödel

ゲーデルを適用する

gödelian

ゲーデルの証明

gödel's result

ゲーデルによって

gödel's work

ゲーデル論理

gödel's argument

ゲーデルを用いて

gödel's system

ゲーデルの結果

gödel's insight

ゲーデルに従う

例文

kurt gödel is most famous for his first and second incompleteness theorems.

gödel demonstrated that any consistent formal system is incomplete.

the implications of gödel's proof revolutionized mathematical logic.

many scholars discuss the impact of gödel on modern computer science.

gödel established his completeness theorem in his doctoral dissertation.

the biography explores the complex friendship between einstein and gödel.

understanding gödel's numbering system requires a background in arithmetic.

gödel was a prominent member of the vienna circle.

philosophers often debate the ontological proof formulated by gödel.

gödel showed that the consistency of arithmetic cannot be proven within itself.

the limits of logic were exposed by gödel's groundbreaking work.

douglas hofstadter's book explores themes related to gödel, escher, and bach.

人気の単語

よく検索される語彙を調べる

アプリをダウンロードして、すべてのコンテンツをアンロック

もっと効率的に語彙を学びたいですか?DictoGoアプリをダウンロードして、さらに多くの語彙暗記や復習機能をお楽しみください!

DictoGoを今すぐダウンロード