1978年1月14日

1978年1月14日，著名數學家、邏輯學家哥德爾（1906 哥德爾最重要的貢獻是提出了著名的哥德爾證明。 1742年1月14日，英國天文學家哈雷逝世。

逝世

哥德爾

1978年1月14日，著名數學家、邏輯學家哥德爾（1906 – 1978）逝世。哥德爾生於奧地利，後移居美國。曾在維也納大學任教，後成為美國普林斯頓高等研究院研究員、教授。哥德爾最重要的貢獻是提出了著名的哥德爾證明。該證明指出，在任何一個嚴格的數學系統中，必定有用本系統內的公理不能證明其成立或不成立的命題，因此不能說算術的基本公理不會出現矛盾。哥德爾的證明結束了近一個世紀來數學家們尋求能為全部數學提供嚴密基礎公理的企圖，平息了當時各數學哲學學派的爭端，標誌著20世紀數學的新開端。哥德爾的另一名著是《選擇公理及廣義連續假設同集合論公理的相容性》於1940年發表。

1742年1月14日，英國天文學家哈雷逝世。哈雷早在1705年就發現第一顆周期彗星，經他精確計算彗星運行軌道後，預測這顆彗星的運行周期為76年。後經過觀察，這一預測得到證實。這是人類歷史上第一次準確推算彗星的運行周期。為紀念哈雷的貢獻，這顆彗星就命名為哈雷彗星。