判断两个λ表达式是否等价的问题是无法解决的。
诗是一种理解世界的方式,而不仅仅是解释它。
抓住雄辩,然后扼住它的喉咙!
The city remembers what its people forget.
格式塔理论的基本公式可以这样表达:存在一些整体,它们的行为不是由其个体元素决定的,而是部分过程本身由整体的内在性质决定。
译文:处理事情应该宽大平和,而不能有松散懈怠的毛病;处世贵在严格,而不能过于激烈操切。赏析:做事如果松散懈怠,就会功败垂成。处世遵守规定是好事,但操之过急也会适得其反。
Life is not about waiting for the storm to pass, it's about learning to dance in the rain.