Top 70 Theorems Quotes & Sayings - Page 2

Which is to say that culture is not a reflex of political economy, but that society is now a reflex of key shifts in music theory and practice.... [Sampladelia is] the sound made by those early-twentieth-century discoveries in particle physics and relativiity theory, the projection of the minds of Einstein, Heisenbery, and Bohr, their fateful explorations of liquid time, curving space, uncertainty fields and relativity theorems, into densely configured and fully ambivalent android music tracks

It is a melancholy experience for a professional mathematician to find himself writing about mathematics. The function of a mathematician is to do something, to prove new theorems, to add to mathematics, and not to talk about what he or other mathematicians have done. Statesmen despise publicists, painters despise art-critics, and physiologists, physicists, or mathematicians have usually similar feelings: there is no scorn more profound, or on the whole more justifiable, than that of the men who make for the men who explain. Exposition, criticism, appreciation, is work for second-rate minds.

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.

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.

For what is important when we give children a theorem to use is not that they should memorize it. What matters most is that by growing up with a few very powerful theorems one comes to appreciate how certain ideas can be used as tools to think with over a lifetime. One learns to enjoy and to respect the power of powerful ideas. One learns that the most powerful idea of all is the idea of powerful ideas.

...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.

The theory that gravitational attraction is inversely proportional to the square of the distance leads by remorseless logic to the conclusion that the path of a planet should be an ellipse .... It is this logical thinking that is the real meat of the physical sciences. The social scientist keeps the skin and throws away the meat.... His theorems no more follow from his postulates than the hunches of a horse player follow logically from the latest racing news. The result is guesswork clad in long flowing robes of gobbledygook.

Though determinants and matrices received a great deal of attention in the nineteenth century and thousands of papers were written on these subjects, they do not constitute great innovations in mathematics.... Neither determinants nor matrices have influenced deeply the course of mathematics despite their utility as compact expressions and despite the suggestiveness of matrices as concrete groups for the discernment of general theorems of group theory.

Imagine a life-form whose brainpower is to ours as ours is to a chimpanzee’s. To such a species, our highest mental achievements would be trivial. Their toddlers, instead of learning their ABCs on Sesame Street, would learn multivariable calculus on Boolean Boulevard. Our most complex theorems, our deepest philosophies, the cherished works of our most creative artists, would be projects their schoolkids bring home for Mom and Dad to display on the refrigerator door.

Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means. The geometer might be replaced by the "logic piano" imagined by Stanley Jevons; or, if you choose, a machine might be imagined where the assumptions were put in at one end, while the theorems came out at the other, like the legendary Chicago machine where the pigs go in alive and come out transformed into hams and sausages. No more than these machines need the mathematician know what he does.