Last Updated：2025/12/05

Dictionary quizzes to help you remember the meaning

Dictionary quizzes to help you remember the meaning

Gödel numberings

Edit Histories（0）

Source Word

Gödel numberings

form-of plural

plural of Gödel numbering

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Sense（1）

plural of Gödel numbering

Login / Sign up

　

Download the app!

DiQt

Free

★★★★★★★★★★