这是 99.9% 的人没听说过的神奇悖论(1/16)

关于数学基础，公理系统相容性的严谨证明，德国数学家希尔伯特曾经有过一个大胆的想法。他提出了希尔伯特计划，希望为全部的数学提供一个保险的理论基础。一切数学的方式化。意义是，一切数学应该用一种统一的严厉方式化的言语，并且依照一套严厉的规则来运用。完备性。在方式化之后，数学里一切的真命题都能够被证明（依据上述规则）。相容性。运用这一套方式化和它的规则，不可能推导出 ... [查看原文]

标签： 理查德米勒

全部图片

查看原图