| 单词 | Gödel |
| 释义 | Gödel|ˈgøːdəl|
The name of Kurt Gödel (born 1906), Austrian mathematician, used attrib. and in the possessive to designate his metamathematical theorems and related techniques and constituents; as Gödel number, Gödel numbering; Gödel's proof; Gödel('s) theorem, the demonstration (first published in Monatshefte f. Math. u. Physik (1931) XXXVIII) that in logic and in mathematics there must be true formulas which are neither provable nor disprovable, thus making mathematics essentially incomplete, and also the corollary that the consistency of such a system as arithmetic cannot be proved within that system. Also Gödelian |gœˈdiːlɪən|, a.
1933M. Black Nature of Math. 167 (heading) Note on Gödel's Theorem. 1942Mind LI. 259 (title) Goedelian sentences: a non-numerical approach. 1952S. C. Kleene Introd. Metamath. viii. 204 We designate the first of these theorems, which entails the other as corollary, as ‘Gödel's theorem’. Ibid. 206 We call this a Gödel numbering, and the correlated number of a formal object its Gödel number. 1956E. H. Hutten Lang. Mod. Physics ii. 34 Gödel's theorem, when first published in 1930, plunged many logicians and mathematicians into the pit of despair. 1959Nagel & Newman (title) Gödel's proof. 1962W. & M. Kneale Devel. Logic vii. 476 This discovery is closely akin to Gödel's theorem on the incompletability of formal arithmetic. 1964Philos. XXXIX. 196 Machines could never be selfconscious in the way that human minds are, and..Gödel's theorem illustrates this. 1965R. L. Wilder Introd. Found. Math. (ed. 2) xi. 275 In some of these systems, analogues of the Gödel theorems have been shown to hold. |
英语词典包含277258条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。
相关内容11：
相关热词搜索：gödel英英词典英英释义英语词汇意思用法释义英语
单词 gn 释义 ‖ gn, a.|ene|Also fem. gne.[Fr., pa. pple. of gner to embarrass; cf. prec.]C......
字词 绒毛间隙 释义 【医】 intervillous space 汉译英翻译词典收录405719条汉英翻译词条，基......
单词 gne 释义 ‖ gne2|n|[Fr., f. OF. gehine torture (gehir to confess under torture): cf. ......
单词 gte 释义 ▪ I. † gite1, gide Obs.Forms: . 4–6 gyte, 5–7 gite, 7 git. . 5 gide, gyd......
字词 结晶料浆 释义 【化】 slurry 汉译英翻译词典收录405719条汉英翻译词条，基本涵盖了全部......
字词 绒毛间的 释义 【医】 intervillous 汉译英翻译词典收录405719条汉英翻译词条，基本涵盖......