我的博客实际上已经开通几个月了，但我因为这样那样的原因一直没有使用它。一个原因是微信公众号似乎更有诱惑力，但是我在只在上面发布了一篇文章就放弃了。顺便提一句，令人扫兴的是，我引用的一句德语，即希尔伯特的那句名言——我们必须知道，我们必将知道，被某位精通德语的老师看出有语法错误，他十分生气，但我还是懒得修正了。对此，我必须表达适当的歉意。
回到我开通博客的动机，无非是记录一下自己学习数理逻辑四论和其他数学、理论计算机方面知识的心得，并不想建成一个传播、普及性质的公众号。当然，作为哲学系（国内某个中游985大学并且逻辑学实力并不突出）的大二学生（我知道很多人看到这里都会对我不屑一顾），我也不求有谁会认真阅读这些东西，尤其是我更感兴趣的证明论和构造性数学。或许，我一时心血来潮，也会谈一点哲学（我希望这尽量不会发生）。我坦白承认，自己水平不高，如同这个圈子里大多数人印象中的在哲学系混的逻辑学学生一样。
“除此之外，仅余沉默而已。”
相关文章：