I don’t want to prove anything; I just want to show what is possible.
我不想证明什么,我只想展示什么是可能的。
逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。
算法不仅仅用于解决问题;它们也用于理解世界。
遗忘是失去自己的一部分,而记住则是让它继续存在。