单词 | godel |
释义 | Gödel in British English (ˈɡɜːdəl) noun Kurt (kʊrt). 1906–78, US logician and mathematician, born in Austria-Hungary. He showed (Gödel's proof) that in a formal axiomatic system, such as logic or mathematics, it is impossible to prove consistency without using methods from outside the system Gödel in American English (ˈgoʊdəl) Kurt (kɜrt) 1906-78; U.S. mathematician, born in Czechoslovakia Definition of 'Gödel' |
随便看 |
|
英语词典包含298861条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。