判断两个λ表达式是否等价的问题是无法解决的。
荀子所说的“伪”,是“人为”的意思。天生就有的是“性”,是人力无法改变的;通过后天的学习、努力可以改变的,就是“伪”。所以荀子主张“化性起伪”,通过自己能掌控的力量来改变已成定数的东西。
我们无法选择自己的命运,但我们可以选择如何面对它。
The truth doesn't always set you free. Sometimes it just reminds you that you're in a cage.