λ演算的基本概念是函数,被视为一种对应规则。
I think that the thing that makes mathematics worthwhile is the fact that it has this incredible structure that you can explore and discover.
格式塔理论的基本公式可以这样表达:存在一些整体,它们的行为不是由其个体元素决定的,而是部分过程本身由整体的内在性质决定。
There is no such joy in the tavern as upon the road thereto.