Quotes

Philosophy

The assertion that the truth is here, and that an end has been made of ignorance and error, is one of the greatest seductions that there is. Assuming that one believes it, then the will to test, investigate, predict, experiment, is crippled: the latter can itself become wanton, can doubt the truth. The 'truth' is consequently more minous than error and ignorance because it binds the forces with which one can work for enlightenment and knowledge.

- Nietzsche, quoted by Philipp Frank

Science/Mathematics

Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true.

- Bertrand Russell

We must not be surprised, therefore, that, so to speak, all physicists of the last century saw in classical mechanics a firm and final foundation for all physics, yes, indeed, for all natural science, and that they never grew tired in their attempts to base Maxwell's theory of electromagnetism, which, in the meantime, was slowly beginning to win out, upon mechanics as well. Even Maxwell and Hertz, who in retropect, appear as those who demolished the faith in mechanics as the final basis of all physical thinking, in their conscious thinking adhered throughout to mechanics as the secured basis of physics. It was Ernst Mach, who, in his History of Mechanics, shook this dogmatic faith; this book exercised a profound influence upon me in this regard while I was a student. I see Mach's greatness in his incorruptible skepticism and independence; in my younger years, however, Mach's epistemological position also influenced me very greatly, a position which today appears to me to be essentially untenable.

- Einstein on Ernst Mach

... as Sir Cyril Hinshelwood has observed ... fluid dynamicists were divided into hydraulic engineers who observed things that could not be explained and mathematicians who explained things that could not be observed.

- James Lighthill

... the progress of physics will to a large extent depend on the progress of nonlinear mathematics, of methods to solve nonlinear equations ... and therefore we can learn by comparing different nonlinear problems.

- Werner Heisenberg

Our present analytical methods seem unsuitable for the solution of the important problems arising in connection with nonlinear partial differential equations and, in fact, with virtually all types of nonlinear problems in pure mathematics. The truth of this statement is particularly striking in the field of fluid dynamics...

- John von Neumann

However varied may be the imagination of man, nature is a thousand times richer, ... Each of the theories of physics ... presents (partial differential) equations under a new aspect ... without these theories, we should not know partial differential equations.

- Henri Poincare

Since a general solution must be judged impossible from want of analysis, we must be content with the knowledge of some special cases, and that all the more, since the development of various cases seems to be the only way to bringing us at last to a more perfect knowledge.

- Leonard Euler

Mathematics: The Loss of Certainty

The first of the really troublesome mathematical contradictions was noted by Bertrand Russell (1872-1970) and communicated to Gottlob Frege in 1902. Frege at that time was just publishing the second volume of his Fundamental Laws in which he was building up a new approach to the foundations of the number system... Frege used a theory of sets or classes which involved the very contradiction Russel noted in his letter to Frege and published in his Principles of Mathematics (1903). Russell had studied the paradox of Cantor's set of all sets and then generated his own version.

Russell's paradox deals with classes. A class of books is not a book and so does not belong to itself, but a class of ideas is an idea and does belong to itself. A catlogue of catalogues is a catalogue. Hence, some classes belong to (or are included in) themselves and some do not. Consider N, the class of all classes that do not belong to themselves. Where does N belong? If N belongs to N, it should not by definition of N. If iN does not belong to N, i9t should by definition of N. When Russel first discovered this contradiction, he thought the difficulty lay somewhere in the logic rather than in mathematics itself. But this contradiction strikes at the very notion of classes of objects, a notion used throughout mathematics. Hilbert noted that this paradox had a catastrophic effect on the mathematical world.

- p. 247

The use of all three axioms, reducibility, infinity, and choice, challenged the entire logistical thesis that all of mathematics can be derived from logic. Where does one draw the line between logic and mathematics? proponents of the logistic thesis maintained that the logic used in Principia Mathematica was "pure logic" or "purified logic." Others, having the three controversial axioms in mind, questioned the "purity" of the logic employed. Hence they denied that mathematics, or even any important branch of mathematics, had yet been reduced to logic. Some were willing to extend the meaning of the term logic so that it includes these axioms.

In view of the controversies concerning Cantor's work and the axioms of choice and infinity, which reached high intensity during the early 1900s, Russell and Whitehead did not specify the two axioms as axioms of their entire system but used them (in the second edition, 1926) only in specific theorems where they explicitly call attention to the fact that these theorems use the axioms. However, they must be used to derive a large part of classical mathematics.

In his Philosophy of Mathematics and Natural Science (1949), Hermann Weyl said the Principia based mathematics

not on logic alone, but on a sort of logician's paradise, a universe endowed with an "ultimate furniture" of rather complex structure... Would any realistically-minded man dare say he believes in this transcendental world? ...This complex structure taxes the strength of our faith hardly less than the doctrines of the early Fathers of the Church or of the Scholastic philosophers of the Middle Ages.

- MLOC p. 272

This science [mathematics] does not have for its unique objective to eternally contemplate its own navel; it touches nature and some day it will make contact with it. On this day it will be necessary to discard the purely verbal definitions and not any more be the dupe of empty words.

- MLOC p. 273

I wanted certainty in the kind of way in which people want religious faith. I thought that certainty is more likely to be found in mathematics than elsewhere. But I discovered that many mathematical demonstrations, which my teachers expected me to acceept, were full of fallacies, and that, if certainty were indeed discoverable in mathematics, it would be in a new field of mathematics, with more solid foundations than those that had hitherto been thought secure. ...after some twenty years of very arduous toil, I came to the conclusion that there was nothing more that I could do in the way of making mathematical knowledge indubitable.

- Bertrand Russell, Portraits from Memory (1958)

- MLOC p. 275

God made the integers; all the rest is the work of man.

- Leopold Kronecker (1823-1891)

...in 1882 Ferdinand Lindemann proved that $ \pi $ is a transcendental irrational number. Apropos of this work Kronecker said to Lindemann, "Of what use is your beautiful investigation regarding pi? Why study such problems since such irrationals do not exist?" Kronecker's objection was not to all irrationals but to proofs that did not in themselves permit the calculation of the number in question. Lindemann's proof was not constructive. Actually, pi can be calculated to as many decimal places as desired by means of an infinite series expression but Kronecker would not accept the derivation of such a series.

Little by little we subtract

Fiath and fallacy from fact,

The illusory from the true

And then starve upon the residue.

- Samuel Hoffenstein

- MLOC p 289

Jacques Hadamard in The Psychology of Invention in the Mathematical Field (1945) investigated the question of how mathematicians think, and his findings were that in the creative process practically all mathematicians avoid the use of precise language, they sue vague images, visual or tactile. This mode of thinking was expressed by Einstein in a letter reproduced in Hadamard's book:

The words or the language, as they are written or spoken, do not seem to play any role in my mechanism of thought... The physical entities which seem to serve as elements in thought are certain signs and more or less clear images which can be voluntarily reproduced and combined. The above-mentioned elements are, in my case, visual and some of muscular types. Conventional words or other signs ahve to be sought for laboriously only in a secondary state.

...Godel's results were shattering. The inability to prove consistency dealt a death blow most directly to Hilbert's formalist philosophy because he had planned such a proof in his metamathematics and was confident it would succeed...

The one distinguishing feature of mathematics that it mgiht have claimed in this century, the absolute certainty or validity of its results, could no longer be claimed. Worse, since consistency cannot be proved, mathematicians risked talking nonsense because any day a contradiction could be found. If this should happen and the contradiction were not resolvable, then all of mathematics would be pointless...

Godel's incompleteness theorem is to an extent a denial of the law of excluded middle. We believe a proposition is true or false, and in modern foundations this means provable or disprovable by the laws of logic and any axioms of the particular subject to which the proposition belongs. But Godel showed that some are neither provable or disprovable.

- MLOC p. 316-317

The developments in the foundations of mathematics since 1900 are bewildering, and the present state of mathematics is anomalous and deplorable. The light of truth no longer illuminates the road to follow. In place of the unique, universally admired and universally accepted body of mathematics whose proofs, though sometimes requiring emendation, were regarded as the acme of sound reasoning, we now have conflicting approaches to mathematics.

- MLOC p. 330

What had mathematics been? To past generations, mathematics was first and foremost man's finest creation for the investigation of nature. The major concepts, broad methods, and almost all the major theorems of mathematics were derived int he course of this wrok. SCience ahd beent he life blood and sustenance of mathematics. Mathematicians were willing partners with physicists, astronomers, chemists, and engineers in the scientific enterprise. In fact, durign the 17th and 18th centureis and most of the 19th, the distinction between mathematics and theoretical science was rarely noted. And many of the mleading mathematicians did far greater work in astronomy, mechanics, hydrodynamics, electricity, magnetism, and elasticity than they did in mathematics proper. Mathematics was simultaneously the queen and handmaiden of the sciences.

- MLOC p. 334

Its [mathematics'] chief attribute is clarity; it has no symbols to express confused ideas. It brings together the most diverse phenomena and discovers hidden analogies which unite them. If matter evades us, such as the air and light, because of its extreme thinness, if objects are located far from us in the immensity of space, if man wishes to understand the performance of he heavens for the successive periods which separate a large number of centuries, if the forces of gravity and of heat be at work in the interior of a solid globe at depths which will be forever inaccessible, mathematical analysis can still grasp the laws of these phenomena.

- Fourier, The Analytical Theory of Heat (1822)

- MLOC p. 343

We cannot help feeling that in the rapid development of modern thought our science is in danger of becoming more and more isolated. The intimate mutual relation between mathematics and theoretical natural science which, to the lasting benefit of both sides, existed ever since the rise of modern analysis, threatens to be disrupted.

- Felix Klein, 1895

- MLOC p. 344

The mathematics of our day seems to be like a great weapons factory in peace time. The show window is filled with parade pieces whose ingenious skill, eye-appealing execution attracts the connoisseur. The proper motivation for and purpose of these objects, to battle and conquer the enemy, has receded to the background of consciousness to the extent of having been forgotten.

The most vitally characteristic fact about mathematics is, in my opinion, its quite peculiar relationship to the natural sciences, or, more generally, to any science which interprets experience on a higher than purely descriptive level.

- John von Neumann, "The Mathematician" (1947)

- MLOC p. 359

To nettle the purists, the applied mathematicians have remarked that the pure mathematicians can find the difficulty in any solution, but the applied men can find the solution to any difficulty.

- MLOC p. 361

To further belittle their opponents, the applied mathematicians tell another tale. A man has a bundle of clothes to be laundered and looks around for a laundry. He finds a store with a sign in the window, "Laundry Done Here," enters, and puts his bundle on the counter. The storekeeper looks a little astonished and asks, "What is this?" The man answers, "I brought these clothes in to be laundered." "But we don't launder clothes here," the storekeeper replies. This time it is the would-be customer who is astonished. He points to the sign and asks, "What about that sign?" "Oh," says the storekeeper, "we just make the signs."

- MLOC p. 362

Talleyrand once remarked that an idealist cannot last long unless he is a realist, and a realist cannot last long unless he is an idealist.

- MLOC p. 366

"In mathematics as elsewhere success is the supreme court to whose decisions everyone submits."

- David Hilbert (1925)

- MLOC p. 394

But does mathematics need absolute certainty for its justification? In particular, why do we need to be sure a theory is consistent or that it can be derived by an absolutely certain intuition of pure time, before we sue it? In no other science do we make such demands. In physics all theorems are hypothetical; we adopt a theory so long as it makes useful predictions and modify or discard it as soon as it does not. This is what happened to mathematical theories in the past, where the discovery of contradictions has led to modification in the mathematical doctrines accepted up to the time of that discovery. Why should we not do the same in the future?

- Haskell B. Curry, Foundations of Mathematical Logic (1963)

- MLOC p. 396

the role of the alleged "foundations" is rather comparable to the function discharged, in physical theory, by explanatory hypotheses... The so-called logical or set-theoretical foundation for number theory or of any other well established mathematical theory is explanatory, rather than foundational, exactly as in physics where the actual function of axioms is to explain the phenomena described by the theorems of this system rather than to provide a genuine foundation for such theorems.

- Godel (1950)

- MLOC p. 397

Many other prominent workers in the foundations have accepted as a practical solution the same test of what sound mathematics is. Mathematics can be firmly, if not absolutely, secured by its applicability even if occasional corrections are required. AS Wordsworth put it, "To the solid ground of nature truss the Mind that builds for aye."

- MLOC p. 397

The "correctness" of mathematics must be judged by its applicability to the physical world. Mathematics is an empirical science much as Newtonian mechanics. It is correct only to the extent that it works and when it does not, it must be modified. it is not a priori knowledge even though it was so regarded for two thousand years. It is not absolute or unchangeable.

- p. 398

If mathematics is to be treated as one of the sciences, it is important to be fully aware of how science operates. It makes observations and experiments and constructs a theory, a theory of motion, or of light, sound, heat electricity, chemical combinations, and so forth. These theories are man-made and are tested by checking their predictions with further observation and experiment. If the predictions are verified at least within experimental error, the theory is maintained. But it may be overthrown later and must always be regarded as a theory and not as truth imbedded in the design of the physical world. We are accustomed to this view of scientific theories because we have had many examples of scientific theories being overthrown and rejected for new ones. The only reason men did not accept this view of mathematics is, as Mill pointed out, the basic arithmetic and Euclidean geometry were effective for so many centuries that people mistook it for truth. Btu we must now see that any branch of mathematics offers only a theory that works. As long as it works we shall hold to it, but a better one may be needed later. Mathematics does mediate between man and nature, between his inner and outer worlds. It is a bold and formidable bridge between ourselves and the external world. It is tragic to have to recognize that the bridge is not firmly anchored in reality or in human minds.

- p. 398

Other contemporary mathematicians are aware of the uncertainties in the foundations but prefer to take an aloof attitude toward what they characterize as philosophical (as opposed to purely mathematical) questions. THey find it hard to believe that there can be any serious concern about the foundations, or at least about their own mathematical activity.... What matters for them is new publications, the more the better. If they respect sound foundations at all, it is only on Sundays and on that day they either pray for forgiveness or they desist from writing new papers in order to read what their competitors are doing. Personal progress is a must - right or wrong.

Are there then no authorities who might urge restraint on the ground that foundational issues remain to be resolved? The editors of journals could refuse papers. But the editors and referees are peers who take the same position as mathematicians at large. Hence papers that maintain some semblance of rigor, the rigor of 1900, are accepted and published. If the emperor has no clothes and the court also has none, nudity is no longer astonishing, nor does it cause any embarrassment. As Laplace once wrote, human reason has less difficulty in making progress than in investigating itself.

- p. 401

The philosopher Goerge Santayana in his book Skepticism and Animal Faith pointed out that while skepticism and doubt are important for thinking, animal faith is important for behavior. The values of much mathematical research are superb and if these values are not be nourished, research must tgo on. Animal fiath supplies the confidence to act.

Truth

"For the great enemy of truth is very often not the lie -- deliberate, contrived and dishonest -- but the myth -- persistent, persuasive and unrealistic. Too often we hold fast to the clichés of our forebears. We subject all facts to a prefabricated set of interpretations. We enjoy the comfort of opinion without the discomfort of thought."

JFK Yale University graduating class speech (June 11, 1962) [1]

Energy

Source: http://www.deathofagasguzzler.com/page/quotes-1

We will lay the foundation for our future capacity to meet America’s energy needs from America’s own resources.

- President Richard Nixon, 1974

We cannot afford continued delays. We cannot afford prolonged vulnerability to foreign producers. We must act.

- President Gerald Ford, 1975

We are the generation that will win the war on the energy problem and in that process, rebuild the unity and confidence of America.

- President Jimmy Carter, 1979

Energy independence is the best preparation America can make for the future.

- President Ronald Reagan, 1982

The Congress should…enact measures to increase domestic energy production and energy conservation - in order to reduce dependence on foreign oil.

- President George H. W. Bush, 1990

We have it in our power to act right here, right now. I propose $6 billion in tax cuts and research and developments to encourage innovation, renewable energy, fuel-efficient cars, and energy-efficient homes.

- President Bill Clinton, 1998

We have got to do something about our dependence on oil - for two reasons. (It) provides an economic and national security risk… and… makes it harder to be wise stewards of the environment.

- President George W. Bush, 2007

I think that in ten years, we can reduce our dependence so that we no longer have to import oil from the Middle East or Venezuela. I think that’s about a realistic timeframe… That’s why I’ve focused on putting resources into solar, wind, biodiesel, geothermal. These have been priorities of mine since I got to the Senate, and it is absolutely critical that we develop a high fuel efficient car that’s built not in Japan and not in South Korea, but built here in the United States of America.

- President Barack Obama, 2008

That’s why I’ve called for an investment of $15 billion a year over 10 years. Our goal should be, in 10 year’s time, we are free of dependence on Middle Eastern oil. And we can do it. Now, when JFK said we’re going to the Moon in 10 years, nobody was sure how to do it, but we understood that, if the American people make a decision to do something, it gets done. So that would be priority number one.

- President Barack Obama, 2008