最終更新日：2025/12/05

Dictionary quizzes to help you remember the meaning

Dictionary quizzes to help you remember the meaning

Gödel numberings

編集履歴（0）

元となった辞書の項目

Gödel numberings

活用形複数形

plural of Gödel numbering

日本語の意味

（複数形）「ゲーデル番号」：数学的論理学などで、計算可能性や形式化の検証のために、文やプログラムの各要素を一意の数に対応付ける方法。

このボタンはなに？

Gödel numberings assigned to different formal systems can reveal subtle differences in their expressive power.

Google翻訳 / DeepL翻訳

異なる形式体系に割り当てられたゲーデル数化は、それらの表現力の微妙な違いを明らかにすることがある。

意味（1）

plural of Gödel numbering

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★