"History is not just facts and dates; it’s the lives of people who lived them."
Houston, Tranquility Base here. The Eagle has landed.
我一直知道自己会变得富有,我一分钟都没有怀疑过。
数学的本质在于它的自由。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
"La literatura nos enseña a ver el mundo con otros ojos, a entenderlo de otra manera."