最終更新日：2025/12/05

Dictionary quizzes to help you remember vocabulary

Dictionary quizzes to help you remember vocabulary

(logic) Gödel numbering

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

正解を見る

Gödelization

編集履歴（0）

元となった辞書の項目

Gödelization

(logic) Gödel numbering

日本語の意味

ゲーデル番号付け

このボタンはなに？

The Gödelization of formulas allows logicians to encode syntactic properties as arithmetic relations.

Google翻訳 / DeepL翻訳

式のゲーデル番号付けにより、論理学者は構文的性質を算術的関係として符号化することができる。

意味（1）

(logic) Gödel numbering

Gödelizations with bijective mapping β are of special interest.

Google翻訳 / DeepL翻訳

Gödelizations

（ plural ）

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★