逻辑学研究不仅仅是关于正确推理,更是关于思维的自由。
Recursion is the root of computation since it trades description for time.
We don't have anything to lose, which is a very liberating feeling.