Godel

基本解釋

The author holds that two main contents are included in the Godel's Incompleteness Theorem.
第二，這樣的形式系統(tǒng)如果一致，則這種一致性在系統(tǒng)內不可證。
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.
發(fā)現(xiàn)這種不可證明性的是奧地利數(shù)學天才庫爾特·高戴爾(Kurt Godel),不幸的是他在晚年發(fā)了瘋。
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.
其中一些模型是哥德爾的遞歸函數(shù)，丘奇的演算，波斯特的波斯特機和圖靈的圖靈機。