真相很少是纯粹的,也从不简单。
语法和语义之间的相互作用是形式语言研究的核心。
数学家的工作大多是孤独的追求,但也具有深刻的合作性。