哥德爾：重新定義真理並撼動數學基礎的邏輯學家

這部紀錄片由 BMResearch 歷史頻道製播。在這部紀錄片中，介紹了哥德爾非凡的一生及其遺產——這位傑出的邏輯學家徹底改變了我們對真理、證明和數學極限的理解。透過他劃時代的不完備性定理，哥德爾證明了沒有任何邏輯系統能夠同時完備且一致。他的思想震撼了數學邏輯的基礎，並啟發了電腦科學、哲學和人工智慧理論的發展。

此外，本片也探討了他與愛因斯坦的深厚友誼、他的形而上學信仰，以及他晚年因恐懼和孤立而令人難忘的歲月。從哥德爾的宇宙到他對上帝的本體論證明，這揭示了一個遠遠超越邏輯邊界的思想。