Jump to content

Gödelisation

From Wiktionary, the free dictionary

English

[edit]

Noun

[edit]

Gödelisation (uncountable)

  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

[edit]
Retrieved from "https://en.wiktionary.org/w/index.php?title=Gödelisation&oldid=79461241"