单词 | gödel's incompleteness theorem |
释义 | Gödel's incompleteness theoremnoun Logic, Mathematics.the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system. the corollary that the consistency of such a system cannot be proved within the system. Origin of Gödel's incompleteness theoremafter K. Gödel, who formulated it Words nearby Gödel's incompleteness theoremgoddaughter, Godden, goddess, Godefroy de Bouillon, Gödel, Gödel's incompleteness theorem, godendag, Goderich, Godesberg, godet, godetia Dictionary.com UnabridgedBased on the Random House Unabridged Dictionary, © Random House, Inc. 2020 |
随便看 |
|
英语词典包含192737条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。