411 REFERENCE · Wiktionary
Gödelisation
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Noun
-
en Gödelization.
en 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
en adegiilnoost galtonioside