形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
La historia no es mecánica porque los hombres son libres para transformarla.
当遇见生活中的困难,期许自己当那个为了未来起身奋斗的人,而不是直接屈服于失败。
We are here to laugh at the odds and live our lives so well that death will tremble to take us.
文明的伟大进步,无论是在建筑、绘画、科学、文学、工业还是农业领域,都从未来自中央集权的政府。