对确定性的追求阻碍了对意义的探寻。不确定性是促使人发挥潜能的条件。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"In luxury, you have to dream. If you don’t dream, you don’t create."