| 单词 | gödel |
| 释义 | Gödel[ gœd-l ] / ˈgœd l / nounKurt [kurt], /kɜrt/, 1906–78, U.S. mathematician and logician, born in Austria-Hungary. Words nearby GödelGoddard, Robert H., goddaughter, Godden, goddess, Godefroy de Bouillon, Gödel, Gödel's incompleteness theorem, godendag, Goderich, Godesberg, godet Dictionary.com UnabridgedBased on the Random House Unabridged Dictionary, © Random House, Inc. 2020 British Dictionary definitions for GödelGödel / (ˈɡɜːdəl) / nounKurt (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 Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012 Scientific definitions for GödelGödel [ gŭd′l ] Austrian-born American mathematician who in 1931 published the most important axiom in modern mathematics, known as Gödel's proof. It states that in any finite mathematical system, there will always be statements that cannot be proved or disproved. Gödel's proof ended efforts by mathematicians to find a mathematical system that was entirely consistent in itself. The American Heritage® Science Dictionary Copyright © 2011. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved. |
| 随便看 |
英语词典包含192737条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。