Meaning of Gödelisation | Babel Free

Definitions

Alternative spelling of Gödelization.

alt-of, alternative, uncountable

Examples

“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...”

CEFR level