Gödelization
名词 n.
英文释义
名词 n.
-
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