Meaning of Gödelisation | Babel Free
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
C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.
This word is part of the CEFR C1 vocabulary — advanced level.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free