最終更新日：2025/12/05

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

Gödel numbering

元となった辞書の項目

Gödel numbering

名詞

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

日本語の意味

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

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

意味（1）

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

Gödel numberings

（ plural ）