我们必须始终质疑我们的假设,并愿意根据新的证据修正我们的理解。
We must always question our assumptions and be willing to revise our understanding in light of new evidence.
合成的目标应该是尽可能简单地制造分子,而不仅仅是可能。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。