四十年前学数理逻辑

与数学分析、图论、抽象代数和形式语言这些课程不同，数理逻辑与普通逻辑、形式逻辑、符号逻辑的基础类似，在处理方法、表述手段和内容则采用数学的形式及推演，包括模型，证明，集合，公理，递归等分支。

 

第一天课，老师举例日常生活中的逻辑表达错误，解释“没有共产党就没有新中国”，从逻辑学推演如何不通，词不达意。然后说，自己没有任何政治意图，这只是人们习惯成自然的说法。印象深刻。

 

在那个年代，跟着前辈学习训练这些，真是三生有幸。