"In computational learning theory, the challenge is not just to learn, but to understand how learning is possible."
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.
风俗的专制无处不是人类进步的阻碍。