最終更新日：2024/07/31

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

正解を見る

Gödel number

問題を編集する

元となった辞書の項目

Gödel number

noun

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

The Gödel number of the symbol 'A' is 65.

意味（1）

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