One geometry cannot be more true than another; it can only be more convenient.
The principle is so perfectly general that no particular application of it is possible.
If we knew what it was we were doing, it would not be called research, would it?
Mathematics is not a deductive science - that's a cliché... What you do is trial and error, experimentation, guesswork.
Young men should prove theorems, old men should write books.
Combinatorial analysis, in the trivial sense of manipulating binomial and multinomial coefficients, and formally expanding powers of infinite series by applications ad libitum and ad nauseamque of the multinomial theorem, represented the best that academic mathematics could do in the Germany of the late 18th century.
Phyllis explained to him, trying to give of her deeper self, 'Don't you find it so beautiful, math? Like an endless sheet of gold chains, each link locked into the one before it, the theorems and functions, one thing making the next inevitable. It's music, hanging there in the middle of space, meaning nothing but itself, and so moving...'
Did chemistry theorems exist? No: therefore you had to go further, not be satisfied with the quia, go back to the origins, to mathematics and physics. The origins of chemistry were ignoble, or at least equivocal: the dens of the alchemists, their abominable hodgepodge of ideas and language, their confessed interest in gold, their Levantine swindles typical of charlatans and magicians; instead, at the origin of physics lay the strenuous clarity of the West-Archimedes and Euclid.
I think it is said that Gauss had ten different proofs for the law of quadratic reciprocity. Any good theorem should have several proofs, the more the better. For two reasons: usually, different proofs have different strengths and weaknesses, and they generalise in different directions - they are not just repetitions of each other.
The goal of a definition is to introduce a mathematical object. The goal of a theorem is to state some of its properties, or interrelations between various objects. The goal of a proof is to make such a statement convincing by presenting a reasoning subdivided into small steps each of which is justified as an "elementary" convincing argument.
The world is anxious to admire that apex and culmination of modern mathematics: a theorem so perfectly general that no particular application of it is feasible.
...One of the most important lessons, perhaps, is the fact that SOFTWARE IS HARD. From now on I shall have significantly greater respect for every successful software tool that I encounter. During the past decade I was surprised to learn that the writing of programs for TeX and Metafont proved to be much more difficult than all the other things I had done (like proving theorems or writing books). The creation of good software demand a significiantly higher standard of accuracy than those other things do, and it requires a longer attention span than other intellectual tasks.
Theorems are fun especially when you are the prover, but then the pleasure fades. What keeps us going are the unsolved problems.
And I believe that the Binomial Theorem and a Bach Fugue are, in the long run, more important than all the battles of history.
How can you shorten the subject? That stern struggle with the multiplication table, for many people not yet ended in victory, how can you make it less? Square root, as obdurate as a hardwood stump in a pasturenothing but years of effort can extract it. You can't hurry the process. Or pass from arithmetic to algebra; you can't shoulder your way past quadratic equations or ripple through the binomial theorem. Instead, the other way; your feet are impeded in the tangled growth, your pace slackens, you sink and fall somewhere near the binomial theorem with the calculus in sight on the horizon.
The "seriousness" of a mathematical theorem lies, not in its practical consequences, which are usually negligible, but in the significance of the mathematical ideas which it connects.
Can the difficulty of an exam be measured by how many bits of information a student would need to pass it? This may not be so absurd in the encyclopedic subjects but in mathematics it doesn't make any sense since things follow from each other and, in principle, whoever knows the bases knows everything. All of the results of a mathematical theorem are in the axioms of mathematics in embryonic form, aren't they?
To many, mathematics is a collection of theorems. For me, mathematics is a collection of examples; a theorem is a statement about a collection of examples and the purpose of proving theorems is to classify and explain the examples.
A felicitous but unproved conjecture may be of much more consequence for mathematics than the proof of many a respectable theorem.
An axiomatic system comprises axioms and theorems and requires a certain amount of hand-eye coordination before it works. A formal system comprises an explicit list of symbols, an explicit set of rules governing their cohabitation, an explicit list of axioms, and, above all, an explicit list of rules explicitly governing the steps that the mathematician may take in going from assumptions to conclusions. No appeal to meaning nor to intuition. Symbols lose their referential powers; inferences become mechanical.
or simply:
