| 释义 |
GodelCOCA¹¹⁷⁸⁹⁷BNC²³⁶²¹³⁺¹
基本英英例句例句
n.戈德尔¹⁰⁰
Noun:
United States mathematician born in Austria who is remembered principally for demonstrating the limitations of axiomatic systems 1906-1978The author holds that two main contents are included in theGodel's Incompleteness Theorem.第二，这样的形式系统如果一致，则这种一致性在系统内不可证。
Bcause of the inherent relation betweenGodel's theory and Tarski's,we may also show doubt about the former theory.哥德尔和塔斯基两者的理论“相通”,自然也会受到质疑。
Their unprovability was discovered by an Austrian mathematical genius called KurtGodel, who unfortunately went insane toward the end of his life.发现这种不可证明性的是奥地利数学天才库尔特·高戴尔,不幸的是他在晚年发了疯。
According toGodelIncomplete Theorem, it is impossible for man to establish a completely self-governed, unassailable mathematic system.五、在大平衡看来，“凡物，理同形异”。神学、哲学、科学实际上是一回事。
Some of these models are the recursive functions ofGodel, of Church, Post machines of Post and the Turing machines of Turing.其中一些模型是哥德尔的递归函数，丘奇的演算，波斯特的波斯特机和图灵的图灵机。
Theory of incompletion ofGodeldrastically exposes the limitation of axiomatizing itself.The method of structure of 13ourbakian can＇t conquer this limitation.尽管后来的布尔巴基学派的结构数学使公理化方法更上一层楼，但仍然无法克服公理化方法本身的局限性。 After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。 cnki
Arrow paradox is the economics Godel theorem.
阿罗悖论是经济理论界的哥德尔定理。 cnki
It is a primer on modern economics and one of a number of recent books suitable for those with little or no background in the subjector, Godel forbid in mathematics.
这是一本当代经济学的入门读物，最近出的适合甚少或没有领域数学知识哥德尔不会放过你的读者的书籍中的一本。 yeeyan
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.
本文根据哥德尔理论的普遍意义，指出在词汇体系中普遍存在着“语义的缠绕”这一事实； cnki
Godel theorem made mathematicians lose their belief of logic beauty, the crisis of belief appeared in mathematical field.
哥德尔不完备性定理抽走了数学家的逻辑美信仰，数学界出现了信仰危机。 cnki
Godel's completeness shows that in the case of the first order logic the syntactical and semantical characters of reasoning coincide.
完全性定理是说一阶逻辑对推理的语法和语义刻画重合的； remenshijian
Godel's incompleteness theorem seems like a practical joke.
哥德尔的不完全定理就象一个恶作剧. cnblogs |