好词典
Godel
UK //ˈɡɜːdəl//US //ˈɡoʊdəl//
词源
源自德语姓氏Gödel，名字Kurt为库尔特的德语拼写。1906年生于奥匈帝国（今捷克布尔诺）。
noun
❶ 指奥地利数学家库尔特·哥德尔（Kurt Gödel），以不完备性定理闻名，该定理证明了在任何一致的数学系统中都存在无法被证明的真命题。
“Godel's incompleteness theorems revolutionized mathematical logic.”
（哥德尔的不完备性定理彻底改变了数理逻辑领域。）
“Many philosophers study Godel's work on the limits of formal systems.”
（许多哲学家研究哥德尔关于形式系统局限性的著作。）
同义词:Gödel, Kurt Godel
常见短语
Godel numbering — 哥德尔编码，指将数学公式转化为唯一数字的技术，用于证明不完备性定理的关键方法。
“Godel numbering allows logical statements to be treated as integers.”
（哥德尔编码使得逻辑命题能够被当作整数处理。）
Godel metric — 哥德尔度规，描述旋转宇宙模型的广义相对论解，显示时间旅行的理论可能性。
“The Godel metric suggests the existence of closed timelike curves.”
（哥德尔度规表明存在闭合类时曲线的可能性。）