検索結果- 英語 - 英語

検索内容:

Gödelisation

名詞
別表記 異形
日本語の意味
「Gödelisation」は「Gödelization」の別表記であり、数学や論理学の分野で、ゲーデルの方法(例えば、命題や式に対してゲーデル番号を割り当てる手法)を指す用語です。
このボタンはなに?

ゼミで彼女は、論理式を数として符号化し、形式的な自己言及を可能にする方法を示すためにゲーデル化を用いました。

関連語

plural

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★