GAIR 2023：青年科学家的探索与突破

时代总是把历史责任赋予青年。100年前的1923年，17岁的库尔特·哥德尔（Kurt Gödel）进入维也纳大学攻读理论物理。受数学教师哈恩和门格尔的影响，他转攻数学，这一选择后来改变了世界。8年后，25岁的哥德尔提出了震惊数学界的“哥德尔不完备定理”，奠定了理论计算机科学和人工智能理论的基础。这篇论文的背景是希尔伯特提出的“希尔伯特计划”，旨在证明数学系统的一致性和完备性。1930年，希尔伯特在柯尼斯堡的演讲中鼓励了数学家们。哥德尔不完备定理表明，任何可以进行基础运算的数学系统中都存在无法被证明的正确观