江南一燕

心里突然有点莫名的激动，是关于最近的一些事情的。今天照例是有宋公的《计算入门》的，这门课我是越来越听不懂了。但是每当宋公说起Hilbert，说起哥德尔（抱歉，德语打不出来），说起Turing，说起我们所学的是人类文明的精华（其实是精华中的精华），我总是会为他脸上的虔诚和神圣所动容，感情随之沉浸进去，也沉默下来，眼前仿佛浮现出人类在数学形式化这条道路上充满史诗意味的前行着的图景。我依然记得儿时的梦想是纯粹的自然科学，想到此处我突然满含愧疚，如同一个远离家乡的少年，识不清来时的路途。除此以外，宋公提到史...