Gödel number

Noun

(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.

Japanese Meaning

論理学において、各記号や整形式（well-formed formula）に一意に割り当てられる数。

The logician computed the Gödel number of the well-formed formula to demonstrate how syntactic expressions can be encoded arithmetically.

論理学者は、その整形式のゲーデル数（形式言語の各記号や各整形式に一意に割り当てられる数）を計算して、構文表現が算術的に符号化できることを示した。

Sense（1）

(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.

Gödel numbers

（ plural ）