To write is to confront the ghosts of our past, to give them a voice, and perhaps, to set them free.
写作就是面对我们过去的幽灵,给它们一个声音,也许,让它们自由。
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。
I like crossing the imaginary boundaries people like to draw between scientific fields.