| 单词 | gödel numbering |
| 释义 | > as lemmasGödel numbering 2. attributive. Derived from or related to Gödel's theorem, esp. in Gödel number, Gödel numbering. ΚΠ 1936 Jrnl. Symbolic Logic 1 40 A recursively defined function a of two positive integers..is the Gödel representation of the xth formula. 1952 S. C. Kleene Introd. Metamath. viii. 206 We call this a Gödel numbering, and the correlated number of a formal object its Gödel number. 1959 E. Nagel & J. R. Newman (title) Gödel's proof. 1991 J. L. Casti Searching for Certainty (1992) xii. 371 Gödel's Theorem says that there will always exist statements (or Gödel sentences) like G that are eternally doomed to a life in the shadow world of gray. 2009 M. Baaz et al. in H. Ono et al. Logic, Lang., Information & Computation 114 Let V be a Gödel set, we denote the GV the Gödel logic based on the set of truth values V. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。