Godel

常見例句

• The author holds that two main contents are included in the Godel's Incompleteness Theorem.
  第二，這樣的形式系統(tǒng)如果一致，則這種一致性在系統(tǒng)內(nèi)不可證。
• Bcause of the inherent relation between Godel's theory and Tarski's,we may also show doubt about the former theory.
  哥德爾和塔斯基兩者的理論“相通”,自然也會受到質(zhì)疑。
• Their unprovability was discovered by an Austrian mathematical genius called Kurt Godel, who unfortunately went insane toward the end of his life.
  發(fā)現(xiàn)這種不可證明性的是奧地利數(shù)學(xué)天才庫爾特·高戴爾(Kurt Godel),不幸的是他在晚年發(fā)了瘋。
• According to Godel Incomplete Theorem, it is impossible for man to establish a completely self-governed, unassailable mathematic system.
  五、在大平衡看來，“凡物，理同形異”。神學(xué)、哲學(xué)、科學(xué)實際上是一回事。
• Some of these models are the recursive functions of Godel, of Church, Post machines of Post and the Turing machines of Turing.
  其中一些模型是哥德爾的遞歸函數(shù)，丘奇的演算，波斯特的波斯特機和圖靈的圖靈機。
• Theory of incompletion of Godel drastically exposes the limitation of axiomatizing itself.The method of structure of 13ourbakian can＇t conquer this limitation.
  盡管后來的布爾巴基學(xué)派的結(jié)構(gòu)數(shù)學(xué)使公理化方法更上一層樓，但仍然無法克服公理化方法本身的局限性。
返回 Godel