Gödelization

名词 n.

英文释义

名词 n.
  1. Gödel numbering
    — 2013, Encyclopedia of Mathhttps://web.archive.org/web/20200607182258/https://encyclopediaofmath.org/wiki/G%C3%B6delization Gödelizations with bijective mapping β are of special interest.

词形变化

词源

From Kurt Gödel (or Gödel number) and -ization.
0 次浏览 数据来源: Wiktionary