< 1 >
哥德尔的两个不完备性定理声称，陈述在形式上可以不被决定。
第一个不完备性定理指出，任何一个内部一致的形式系统都包含着不能被证明为真或假的语句。
第二个不完全性定理说，在一个形式系统内，人们不能证明它是内部一致的。
不完备性定理等于说，人工智能是不可能的，因为计算机总是形式上的有限系统。人的智力很可能也会受到这种限制。
1930 年，奥地利数学家库尔特-哥德尔提出了这些定理。
Deutsch English Español Français Nederlands Русский
