Gödelizations（「Gödelization」の複）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

Gödelizations

活用形複数形

plural of Gödelization

原形: Gödelization

日本語の意味

「Gödelization」の複数形。ここでの「Gödelization」とは、一般に数学や論理学において、対象をGödel番号などの数値に変換・符号化する操作またはその結果を指す。

Gödelizations often illuminate how formal statements can be encoded as numbers.

ゲーデル化は、形式的な命題が数として符号化されうることを示すことが多い。

(logic) Gödel numbering

日本語の意味

ゲーデル番号付け

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

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