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.
其中一些模型是哥德爾的遞歸函數，丘奇的縯算，波斯特的波斯特機和圖霛的圖霛機。