Gödelisation

名词 n.

英文释义

名词 n.
  1. Alternative spelling of Gödelization. alt-of,alternative,uncountable
    — 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...
2 次浏览 数据来源: Wiktionary