意味 |
Godel numberingとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 ゲーデル数(ゲーデルすう、英: Gödel number)は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。
1
ゲーデルの番号付け
英和専門語辞典
|
意味 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Godel numbering」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |