一个震撼根基的数学证明

在20世纪30年代，数学家格哈德·根岑创立了相继式演算。这是一种构建逻辑证明的新方法。这个优雅的系统帮助解决了大卫·希尔伯特的挑战。他想证明算术的一致性，以确保数学的可靠性。1936年，根岑用他的演算证明了皮亚诺算术的一致性。皮亚诺算术是自然数的基石。这项里程碑式的成就虽然依赖于超限归纳法，但与哥德尔不完备定理相符。它表明算术无法证明自身的一致性。根岑的工作继续影响着现代计算。它甚至为线性逻辑奠定了基础。这连接了纯数学与实际编程。