The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
在科学中最令人兴奋的短语,预示着新发现的不是“我找到了!”,而是“这有点奇怪……”
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
我能做的就是跟随我的直觉,因为我永远无法取悦所有人。