—— 请按键盘 空白键 开始游戏 ——

λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
文章必须对天下人有益处。
我们生产的每一件塑料制品都应该有明确的再利用或回收路径。
Art belongs to everybody and nobody. Art belongs to all time and no time. Art belongs to those who create it and those who savor it. Art no more belongs to the people or the time than it belongs to the critics or the collectors.
Every great mathematical theory begins as a heresy and ends as a dogma.