The mathematician, carried along on his flood of symbols, dealing apparently with purely formal truths, may still reach results of endless importance for our description of the physical universe.
数学家沉浸在他的符号洪流中，表面上处理纯粹的形式真理，仍然可能得出对我们描述物理宇宙具有无尽重要性的结果。
系统设计的未来在于将形式化方法与传统工程实践相结合。
学习是通过修改符号结构来提高性能的过程。
基因组是灭绝物种的墓地。