使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
君子心中常常体会到的不是人情而是天理;君子口中所常说的不是人伦世故而是世间法理;君子常有的行为不是规矩而是行为的原则。
艺术无关美,而关乎真实,即使它丑陋。
计算机科学的美在于它能够通过优雅而高效的算法解决复杂问题。
Never give up on your dreams, no matter how impossible they may seem.
My art is a never-ending story.