返朴 22-01-14 19:11
微博认证:科学新媒体《返朴》的官方微博

1月14日是世界逻辑日。

教科文组织大会在第四十届会议上与国际哲学与人文科学理事会一起宣布1月14日为世界逻辑日。逻辑学是 “一门详细阐释和严格证明所有思想的形式规则的科学”。之所以特地选择1月14日,是为了纪念20世纪两位逻辑学巨匠: 库尔特·哥德尔(Kurt Gödel),去世于1978年1月14日,其不完全性定理改变了二十世纪逻辑研究的面貌; 阿尔弗雷德·塔斯基(Alfred Tarski),出生于1901年1月14日,其理论与哥德尔的理论形成了对话。