Godel
基本解释
- n.戈德尔
英汉例句
- The author holds that two main contents are included in the Godel's Incompleteness Theorem.
第二，这样的形式系统如果一致，则这种一致性在系统内不可证。 - Bcause of the inherent relation between Godel's theory and Tarski's,we may also show doubt about the former theory.
哥德尔和塔斯基两者的理论“相通”,自然也会受到质疑。 - Their unprovability was discovered by an Austrian mathematical genius called Kurt Godel, who unfortunately went insane toward the end of his life.
发现这种不可证明性的是奥地利数学天才库尔特·高戴尔(Kurt Godel),不幸的是他在晚年发了疯。 - According to Godel Incomplete Theorem, it is impossible for man to establish a completely self-governed, unassailable mathematic system.
五、在大平衡看来，“凡物，理同形异”。神学、哲学、科学实际上是一回事。 - Some of these models are the recursive functions of Godel, of Church, Post machines of Post and the Turing machines of Turing.
其中一些模型是哥德尔的递归函数，丘奇的演算，波斯特的波斯特机和图灵的图灵机。