Gödel numberings

form-of plural

plural of Gödel numbering

Japanese Meaning

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

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

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

Sense（1）

plural of Gödel numbering