數學家、邏輯學家哥德爾逝世

在42年前的今天，1978年1月14日(農曆1977年12月6日)，數學家、邏輯學家哥德爾逝世。哥德爾不完全性定理庫爾特·哥德爾（KurtGödel）（1906年4月28日—1978年1月14日）是位數學家、邏輯學家和哲學家。其最傑出的貢獻是哥德爾不完全性定理和連續統假設的相對協調性證明。生於捷克的布林諾，卒於美國普林斯頓。早年在維也納大學攻讀修讀理論物理、基礎數學，後來又轉研數理邏輯、集合論。1951年獲愛因斯坦勳章。哥德爾一生髮表論著不多。他發表於1931年的論文《〈數學原理〉（指懷德海和羅素所著的書）及有關係統中的形式不可判定命題》是20世紀在邏輯學和數學基礎方面最重要的文獻之一。