Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.

"Even if the world changes, I won’t change."

C语言古怪、有缺陷，但却取得了巨大的成功。