好像是04年？我有点记不清是不是陈老师讲的逻辑学了，我在北大唯二得了满分的课
我的意思是，计算机专业的人不是应该特别讨厌自指和无限递归么[呵呵]
我以前很喜欢的一本是《哥德尔证明》，数学不多，很多科普，还算看得懂，最近翻出来准备再读一遍
GEB这书为什么计算机专业的人会看[呵呵]
没找到[捂脸] 买了本北大哲学系陈波老师的《悖论研究》，当年错过了他的通选课
GEB，我上学时候的枕边书[笑]
我还以为这书只有我们计算机专业的人看[狗头]
递归代码简单又优雅，CSer最爱
因为他是计算机专业的[狗头]
当年陈老师就开设了逻辑学导论么