Proof Quotes - page 36
Neither of us cares a straw for popularity. A proof of this is for example, that, because of aversion to any personality cult, I have never permitted the numerous expressions of appreciation from various countries with which I was pestered during the existence of the International to reach the realm of publicity, and have never answered them, except occasionally by a rebuke. When Engels and I first joined the secret Communist Society we made it a condition that everything tending to encourage superstitious belief in authority was to be removed from the statutes.
Karl Marx
Many of the successes of `fancy' mathematics are due to sociological and linguistic reasons. They are really high-school-algebra arguments in disguise. Once you strip the fancy verbiage off, what remains is a bare (and much prettier, in my eyes) argument in high-school mathematics, or at most, in Freshman linear-algebra and (formal!) Calculus. For example, I am (almost) sure that Wiles's proof would be expressible in simple language, and if not, there would be a much nicer proof that would.
Doron Zeilberger
I don't know the counts of Unix and Linux servers. I do know that my heart sinks whenever I look under the hood in Linux. It is has been so overfed by loving hands. Over 240 system calls! Gigabytes of source! A C compiler with a 250-page user manual (not counting the language definition)! A simple page turner, 'less,' has over 40 options and 60 commands! It's proof that open-source can breed monsters just like the commercial pros. Miraculously, though, this monster works.
Doug McIlroy
Descartes ... complained that Greek geometry was so much tied to figures "that is can exercise the understanding only on condition of greatly fatiguing the imagination." Descartes also deplored that the methods of Euclidean geometry were exceedingly diverse and specialized and did not allow for general applicability. Each theorem required a new kind of proof... What impressed Descartes especially was that algebra enables man to reason efficiently. It mechanizes thought, and hence produces almost automatically results that may otherwise be difficult to establish. ...historically it was Descartes who clearly perceived and called attention to this feature. Whereas geometry contained the truth about the universe, algebra offered the science of method. It is ... paradoxical that great thinkers should be enamored with ideas that mechanize thought. Of course, their goal is to get at more difficult problems, as indeed they do.
René Descartes
Without Russia [ Soviet Union ], the German bloodhounds would have already achieved their goal, or would achive it very soon... We and our children owe a great debt of gratitude to the Russian people for having experienced such immense losses and suffering. [ Soviet Union's ] conduct of the war has made obvious her great achievement in all industrial and technical fields... and in the limitless sacrifice and exemplary self-denial of every single individual, I see proof of a strong and universal will to defend what they have won... finally, a fact of particular importance to us Jews. In Russia the equality of all national and cultural groups is not merely nominal but is actually practiced.
Albert Einstein
