最終更新日:2025/12/05
編集履歴(0)
元となった辞書の項目

Gödelizations

名詞
活用形 複数形
日本語の意味
「Gödelization」の複数形。ここでの「Gödelization」とは、一般に数学や論理学において、対象をGödel番号などの数値に変換・符号化する操作またはその結果を指す。
このボタンはなに?

ゲーデル化は、形式的な命題が数として符号化されうることを示すことが多い。

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★