哥德尔不完全性定理是他最著名的成就之一，它证明了在任何足够强大的形式系统中，总会存在无法被证明或证伪的命题。这一定理对于数学和逻辑学的发展产生了深远的影响。此外，哥德尔还对连续统假设的相对协调性进行了证明，这也是他的重要贡献之一。
哥德尔在维也纳大学攻读理论物理和基础数学，后来转向数理逻辑和哲学。他的论文《〈数学原理〉及有关系统中的形式不可判定命题》被认为是20世纪在逻辑学和数学基础方面最重要的文献之一。尽管他一生发表的论著并不多，但他的工作对于逻辑学、数学和哲学领域产生了深远的影响。
哥德尔于1951年获得了爱因斯坦勋章，这也是对他杰出贡献的一种认可。他的逝世是数学和逻辑学领域的一大损失，但他留下的成就将继续影响着这些领域的发展。
历史上的今天：01月14日发生了哪些大事？
历年01月14日的重要事件回顾
国内外发生的重大事件：历史上01月14日的瞩目事件
历史上01月14日被载入史册的重要事件
当年今天的历史事件：01月14日在历史上的重要时刻
历史上的今天：01月14日发生了什么重要的事情？