1978年1月14日 (農(nóng)歷臘月初六)，數(shù)學(xué)家、邏輯學(xué)家哥德爾逝世。
哥德爾不完全性定理
庫爾特·哥德爾（Kurt Gödel）（1906年4月28日—1978年1月14日）是位數(shù)學(xué)家、邏輯學(xué)家和哲學(xué)家。其最杰出的貢獻(xiàn)是哥德爾不完全性定理和連續(xù)統(tǒng)假設(shè)的相對協(xié)調(diào)性證明。
生于捷克的布爾諾，卒于美國普林斯頓。早年在維也納大學(xué)攻讀修讀理論物理、基礎(chǔ)數(shù)學(xué)，后來又轉(zhuǎn)研數(shù)理邏輯、集合論。1951年獲愛因斯坦勛章。哥德爾一生發(fā)表論著不多。他發(fā)表于1931年的論文《〈數(shù)學(xué)原理〉（指懷德海和羅素所著的書）及有關(guān)系統(tǒng)中的形式不可判定命題》是20世紀(jì)在邏輯學(xué)和數(shù)學(xué)基礎(chǔ)方面最重要的文獻(xiàn)之一。
甲辰年十二月十五日
14