Monday, December 02, 2013

Global Warming and the Axiom of Choice

Who was the first scientist to warn of Global Warning? These questions are complicated, but I would say it was Bing Crosby in a paper called White Christmas. Here are the first two lines:
I'm dreaming of a white christmas
Just like the ones I used to know
Why are there no more white christmas's? Because global warming made it stop snowing!

Why do otherwise intelligent people refuse to believe that Global Warming is real and is caused by humans and we we need to do something about it? I have a conjecture and an analog. Here is what I think the reasoning is

  1. Republicans have the following AXIOM (until they are in office): government IS the problem, not the solution. More than this, they think that there is NO problem that requires government action.
  2. Consequence: Government should do NOTHING about Global Warming.
  3. Since Government shouldn't do anything about Global Warming, it is not a problem.
Rather than rethink their AXIOM they accept the conclusion that Global Warming is either not a problem or not caused by humans. The shame of it is that there ARE economically viable ways, perhaps moderate republican ways, to fight global warming- some version of Cap-and-trade, or pay-to-pollute. And getting off of Fossil Fuels would be good for other reasons. I can picture history going a different way so that Republicans want more fuel-eff cars to get us off of Mideast Oil. I can picture a history where the insurance companies are more powerful than the oil companies for lobbying and hence Government takes LOTS of action against global warming.

Are their things in math where people accept an axiom despite its absurd consequences?Yes:
  1. Most math people believe the Axiom of Choice.
  2. Consequence: the Banach-Tarski Paradox

Rather than rethink their AXIOM they accept the absurd conclusion that you can break a ball into 5 pieces, reassemble, and get twice the volume. Fortunately, believing this does not endanger the planet.

9 comments:

  1. About the axiom of choice: It may be that mathematicians believe it because it makes the trans-finite "universe" much "nicer". As far as I know without it would seems that more questions would have an answer of "it depends...". Also, reasonable competing axioms such as "all subsets of [0,1] are measurable" may lead to biting a bullet on other topics (the axiom of choice guarantees for example that "bigness" is always comparable).

    As for global warming, my guess is that the existence of known lies causes skeptics to doubt all claims first and ask questions later. Also the usual proposed "solutions" (not really solutions because the US is not the one culprit) are far from "moderately republican" so a middle ground does not exist.

    But on an optimistic note, usually humanity bands together on the right side when the ecological impact is bad enough. Examples are CFC gases (now almost gone) and the paper industry (it used to be a major threat for forests). An example close to my home is the preservation of wild vegetation in Israel (nobody picks wild flowers in Israel).

    ReplyDelete
  2. --------------
    GASARCH asks "Who was the first scientist to warn of Global Warning?"
    --------------

    Answer  John von Neumann, in his chapter "Can we survive technology?" (1955), which appeared in The Fabulous Future: America in 1980:

    --------------
    "All major weather phenomena are ultimately controlled by the solar energy that falls on the earth. […] The carbon dioxide released into the atmosphere by industry's burning of coal and oil — more than half of it during the last generation — may have changed the atmosphere's composition sufficiently to account for a general warming of the world by about degree Fahrenheit.

    Intervention in atmospheric and climatic matters will come in a few decades, and will unfold on a scale difficult to imagine at present. […] Such actions would be more directly and truly worldwide than recent, or presumably, future wars, or the economy at any time."
    --------------

    Best wishes for Happy Holidays are extended to all readers of Computational Complexity and thanks are extended to Lance and GASARCH for sustaining this fine forum!

    ------------
    @incollection{Author = {J. Von Neumann},
    Booktitle = {The Fabulous Future: America in 1980},
    Pages = {33--48},
    Publisher = {E. P. Dutton {\&} Company},
    Title = {Can we survive technology?},
    Year = 1955}

    ReplyDelete
  3. Is there anything von Neumann *didn't* do? The guy is like a modern Euler...

    ReplyDelete
  4. I would very much like to understand the pushback against AC. Do those who object it also object the Axiom of Infinity? For otherwise one can create a model of PA within ZF such that a nonhalting Turing machine halts nonetheless -- (albeit at an infinite stage).

    I mean, if we are calling things absurd based on some physical intuition then we should also reject the ordinal numbers -- no?

    ReplyDelete
    Replies
    1. I'm not a set theorist, but from what I've read, the strongest objection to AC is that it is unnecessary for any statement that pertains to the natural numbers. The power of AC is only needed when reasoning about uncountable sets, and we don't have a standard model for uncountable sets the same way that we do for natural numbers. So why have AC at all? It's often convenient, but it also often proves unintuitive results.

      Delete
  5. It wasn't global warming; it was because she ran off to California with that movie guy.

    ReplyDelete
  6. The Banach-Tarski paradox does NOT say that "you can break a ball into 5 pieces, reassemble, and get twice the volume" anymore than it says that you can well-order the reals or that you can pick the corresponding choices from infinite collections. Now way "you can", actually you and I can't. It says that "there is" a way of blowing up the volume, there is a way of well-ordering the reals, and there is a way of having infinitely many representatives of each set in an infinite collection in a single set, in the same way that math says as well that "there are" inaccessible ordinals or, for that matter, infinite graphs or natural numbers like A(10,10) (Ackermann's I mean) or even simply ten to the ten to the ten. All these things "exist" like unicorns do (whether pink or invisible or both), no one of them is real, not even high enough natural numbers that would not fit within the reachable universe. The point is, for working on that unreal but, at the end of the day, actually enormously useful realm, I have no problem in admitting that such weird things exist. To me, this is pretty different from negating the problem of global warming!

    ReplyDelete
  7. You could similarly say that the Peano axioms for the integers have absurd consequences, because you can place the positive integers in one-to-one correspondence with the entire set of integers. Neither that nor the Banach-Tarski paradox bothers me in the least.

    As for global warming, there are a lot more people who are completely convinced in one way another if whether it exists than have actually read any scientific paper on the subject. I guess this is OK for the layman, but this is also true for professors, who should know better. Freeman Dyson, one of the first researchers in climate change, was once a skeptic of GIGO computer models showing global warming but now believes the current evidence it exists, at least as recently as the talk of his I saw a few years ago. However, he thinks it's an open question whether global warming is bad. I have no opinion on either matter, however, since I have not studied the issue sufficiently to be entitled to an opinion.

    ReplyDelete
  8. Here's another "paradox" of the flavor of Banach-Tarski that doesn't rely on the axiom of choice: You can break a ball up into an infinite number of pieces and reassemble them into a ball of twice the size. How do you do it? Well, completely shatter it into its component points and then move each point twice as far from the center.

    So now which axiom should you reject as causing a ridiculous paradox???

    ReplyDelete