Gödelisation

English

Noun

Gödelisation (plural Gödelisations)

1. Alternative spelling of Gödelization
   • 1999, Torben Æ. Mogensen, Gödelisation in the untyped lambda calculus:

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

Anagrams

• galtonioside