证明是一种可重复的说服实验。
A proof is a repeatable experiment in persuasion.
Success is not final, failure is not fatal: it is the courage to continue that counts.
"Some infinities are bigger than other infinities."
People are not lazy. They simply have impotent goals - that is, goals that do not inspire them.
离散数学与计算机科学之间的相互作用一直是创新和发现的沃土。