How Gödel numbers turn mathematical laws against themselves
通过将数学陈述编码为数字，数学家库尔特·哥德尔使用普通算术来检查陈述是否可以被证明
How the mathematician Gödel proved that not everything can be proven
陈述可以是真或假。但正如库尔特·哥德尔所证明的那样，总会有一些数学假设既无法被证明也无法被证伪
该证明将著名数学家库尔特·哥德尔 (Kurt Gödel) 使用的逻辑扩展到人工智能，他的不完备性定理对数学产生了近一个世纪的深远影响。
