Maeckes logo

<    1    >


不完备性定理

哥德尔的两个不完备性定理声称,陈述在形式上可以不被决定。

 


解释

第一个不完备性定理指出,任何一个内部一致的形式系统都包含着不能被证明为真或假的语句。

第二个不完全性定理说,在一个形式系统内,人们不能证明它是内部一致的。

 


人工智能

不完备性定理等于说,人工智能是不可能的,因为计算机总是形式上的有限系统。人的智力很可能也会受到这种限制。

 


历史

1930年,奥地利数学家库尔特-哥德尔提出了这些定理。


Deutsch   English   Español   Français   Nederlands