判断两个λ表达式是否等价的问题是无法解决的。
作家的责任是讲述未被讲述的故事。
政策应该基于证据,而不是意识形态。
我不等待机会,我创造机会。
数学的进步归功于那些不是被应用的欲望驱动,而是被发现的喜悦驱动的人。
I think the only way to conquer fear is to tell it to go to hell.