我相信爱和音乐有治愈的力量。

We suffer from an incurable disease called hope.

"Don’t try to make life a mathematics problem with yourself in the center and everything coming out equal. When you’re good, bad things can still happen. And if you’re bad, you can still be lucky."

逻辑学研究不仅仅是关于形式系统，更是关于理解人类推理的本质。