TAG：哥德尔

古戈尔不是一个人，而是一个计数单位，它是被美国数学家爱德华·卡斯纳的侄子米尔顿·西罗蒂发明的。 古戈尔(googol)是指1后有100个0，可以表示为：10,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000。这是美国数学家爱德华·卡斯纳的侄子米尔顿·西罗蒂造出古戈尔一词...

阅读更多

孟德尔，1822年7月20日出生于奥地利帝国布隆(Brunn)(现在是捷克的布尔诺 )的神父，是遗传学的奠基人，被誉为现代遗传学之父。他通过豌豆实验，发现了遗传规律、分离规律及自由组合规律...

阅读更多

哥德尔定理其实是两个定理，其中哥德尔靠前不完备性定理是最重要、也是误解最多的，从这一定理的版本众多就可以看出。如: "如果一个形式理论T足以容纳数论并且无矛盾，则T必定是不完备的。" "任何一个相容的数学形式化理论中，只要它强到足以在其中定义自然数的概念，就可以在其中构造在体系中既不能证明也不能否证的命题。" "任何一个足够强的一致公设系统,必定是不完备的" 第二不完备性定理是靠前定理的一个推论:&#34...

阅读更多

哥德尔定理的原文如下："任何形式化的数学系统，只要包含了自然数的基本概念，就会存在一些无法用该系统内部的方法证明的命题。 这些命题称为不可判定命题。"这是哥德尔不完备定理的通俗版本，完整的哥德尔定理需要结合其证明过程来理解。哥德尔在 1931 年提出了这一定理，彻底改变了人们对形式化数学的认识，揭示了形式化数学的局限性...

阅读更多