English Dictionary

Gödelisation

名詞

別表記 異形

Alternative spelling of Gödelization

日本語の意味

「Gödelisation」は「Gödelization」の別表記であり、数学や論理学の分野で、ゲーデルの方法（例えば、命題や式に対してゲーデル番号を割り当てる手法）を指す用語です。

In the seminar, she used Gödelisation to demonstrate how logical statements can be encoded as numbers, thus enabling formal self-reference.

ゼミで彼女は、論理式を数として符号化し、形式的な自己言及を可能にする方法を示すためにゲーデル化を用いました。

意味（1）

Alternative spelling of Gödelization

This implies that it is impossible in the untyped lambda calculus to do Gödelisation, i.e. to write a function that can convert a term to a representation of (the normal form of) that term...

Gödelisations （ plural ）