Godel
英
美
n. 戈德尔
双语例句
- Their unprovability was discovered by an Austrian mathematical genius called Kurt godel, who unfortunately went insane toward the end of his life.
发现这种不可证明性的是奥地利数学天才库尔特？高戴尔（kurtgodel），不幸的是他在晚年发了疯。 - We threw godel's cane up there to get the racket.
又用哥德的手杖去扔球拍。 - Godel's theorem and its later refinements by church and russell.
哥德尔定理及其后来由邱奇和罗素所作的修正。 - Truth degree theory of propositions in Godel 3-valued logic system in the space of unevenly distributed probability
一种非均匀概率空间下逻辑系统G3中命题的真度理论 - We're going to throw Godel up there next.
接下来我们要把哥德也扔上去。 - Examples were presented to illustrate the constructing method of fuzzy concept lattices based on Godel residual implication.
用模糊关系实例说明了基于Godel剩余蕴涵的模糊概念格的构造方法。 - Godel Incompleteness Theorem definitely reveals and proves the ability limit for oneself to master "truth".
哥德尔不完全性定理明确揭示和证明自己把握真的能力限度。 - On the Mistakes in the Process of Proving Godel Incompleteness Theorem
哥德尔不完全性定理的证明过程有误 - Godel theorem made mathematicians lose their belief of logic beauty, the crisis of belief appeared in mathematical field.
哥德尔不完备性定理抽走了数学家的逻辑美信仰，数学界出现了信仰危机。 - After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。 - The present paper points out the universal sense of the theory of Godel that there is widely the winding of meaning in the system of vocabulary.
本文根据哥德尔理论的普遍意义，指出在词汇体系中普遍存在着语义的缠绕这一事实； - Learn Legal Research From the Godel ′ s Theorem
从哥德尔定理看法学研究 - Modern logic is a very useful tool for the basis and structure of pure mathematics. Some mathematical theorems including Godel's Theorem of Incompleteness applied some technologies and achievements of modern logic.
对于纯数学的基础和结构来说，现代逻辑是一种非常有用的工具，包括哥德尔不完全性定理等，都利用了现代逻辑的技术和成果。 - By employing the matching technique, we calculate the corresponding absorption probability and analyze the effect of the three parameters of Godel black holes.
通过使用衔接技术，我们计算出对应的吸收因子，分析了Godel黑洞的三个参数对吸收因子的影响。 - American scholar Kurt Godel has said the result will be not completed if you understand the world excluding a certain way or view.
美国学者KurtGodel曾说过，在认识世界的过程中，排除某一种方式或视角所得到的结果都是不完备的。 - Furthermore, it also involves other philosophers 'views on absolutely undecidable questions and mathematics realism which differ from Godel' s.
此外还会涉及到其他哲学家对绝对不可判定命题以及数学实在论与哥德尔不同的看法。 - But not only are their efforts in method circular reasoning, because they all use the results of science in the process of argument, but also Hume and Godel destroyed their illusions in terms of theory.
然而，他们的努力在方法上是循环论证（因为他们都在论证的过程中都运用着科学的成果），在理论上，休谟和哥德尔彻底摧毁了他们的幻想。 - Alfred Tarski was one of the greatest logicians of all time. Along with his contemporary, Kurt Godel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models.
阿尔弗雷德·塔尔斯基是所有时代最伟大的逻辑学家之一，他和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真的概念和模型论的研究。