Science is a collaborative effort; no major discovery happens in isolation.
科学是一项协作的努力,重大的发现不会孤立地发生。
民主与其说是一种政府形式,不如说是一套原则。
Minimal material, maximum effect.
"The future of system design lies in the integration of formal methods with traditional engineering practices."
先验真理并不一定是独立于经验而知的真理。