单词 | godels-theorem |
释义 | Gödel's theorem in American English either of two theorems published by the mathematician Kurt Gödel in 1931 that prove all mathematical systems are incomplete in that their truth or consistency can only be proved using a system of a higher order : also called Gödel's proof, Gödel's incompleteness theorem Definition of 'Gödel's theorem' |
随便看 |
|
英语词典包含298861条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。