Gödel numbering

Noun

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

Japanese Meaning

形式言語の各正則な式（well-formed formula）に一意のゴーデル番号を割り当てるための関数。

教科書では、形式言語の各文法的に正しい式に一意の自然数を割り当てる関数（ゲーデル数付け）が導入されている。

Sense（1）

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

Gödel numberings

（ plural ）