哥德尔：我们终将再相见普罗普利

我们还会再相见，他证明了数学的边界，也相信我们不会就此结束。

哥德尔为何相信来世：四封写给母亲的信，和他极其理性的希望

作为20世纪最伟大的逻辑学家之一，库尔特·哥德尔通常以两个身份被人记住：不完备性定理的提出者，以及现代集合论的重要奠基者。前者几乎改变了整个数学与逻辑学的地基，后者则深刻影响了计算机科学此后的发展方向。1951年，哥德尔因这些成就获得阿尔伯特·爱因斯坦奖。颁奖致辞中，数学家约翰·冯·诺伊曼曾评价说，哥德尔在逻辑与数学中的贡献，其意义将“在遥远的时空中依然清晰可见”。

一场只剩下单边声音的对话

哥德尔的回答是：会。

在1961年7月23日的信中，他写道：“你在上一封信里提出了一个富有挑战性的问题：我是否相信 Wiedersehen。”这个德语词的字面意思是“再次相见”。比起“永生”“来世”这类抽象而宏大的术语，Wiedersehen 带着一种私人而温柔的意味。它使得整场讨论不再只是形而上学命题，而更像一位儿子写给母亲的安慰：我们不会永远分离。

哥德尔的论证：如果世界有理性，来世就必须存在

将这套思路提炼成更简洁的形式，大致可以表述为：

为什么一个“奇怪的世界”仍然可能是理性的？

正因为人生不够完整，所以它不可能是终点

反对唯物主义：哥德尔为何认为心灵不能被还原为机器