相悖关键词检索结果

科学美国人
2026年6月2日 04:00

哥德尔数如何使数学定律与自身相悖

How Gödel numbers turn mathematical laws against themselves

通过将数学陈述编码为数字，数学家库尔特·哥德尔使用普通算术来检查陈述是否可以被证明