语法和语义之间的相互作用是形式语言研究的核心。
真相很少是纯粹的,也从不简单。
计算的目的是洞察,而不是数字。
重要的是懂得如何平静地对待一切。
In computer science, abstraction is the key to managing complexity.
We must accept that quantum objects do not possess properties independent of measurement.