紀念哥德爾誕辰一百周年！哥德爾：數學和邏輯領域中的跋涉者

哥德爾作為繼亞裏斯多德、萊布尼茨以來最偉大的邏輯學家，從正面或反面部分地解答了20 世紀初在數學和邏輯領域最根本的問題。他的成果影響和推動影響和推動了數學基礎和數理邏輯近70 年的發展，同時對電腦科學和科學哲學等眾多學科領域已經產生並將繼續產生深刻的影響。