The sciences do not try to explain, they hardly even try to interpret, they mainly make models.
科学并不试图解释,甚至几乎不试图诠释,它主要是构建模型。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
It is hard to read a newspaper or watch a television newscast without encountering someone who has come up with a new 'solution' to society's 'problems.'