Insights From Brilliant People

There’s an absolutely fascinating series of responses by leading scientists and intellectuals to the question, “WHAT DO YOU BELIEVE IS TRUE EVEN THOUGH YOU CANNOT PROVE IT?”

Like this funny dialog by Stanford prof Leonard Susskind.

Conversation With a Slow Student

Student: Hi Prof. I’ve got a problem. I decided to do a little probability experimentyou know, coin flippingand check some of the stuff you taught us. But it didn’t work.

Professor: Well I’m glad to hear that you’re interested. What did you do?

Student: I flipped this coin 1,000 times. You remember, you taught us that the probability to flip heads is one half. I figured that meant that if I flip 1,000 times I ought to get 500 heads. But it didn’t work. I got 513. What’s wrong?

Professor: Yeah, but you forgot about the margin of error. If you flip a certain number of times then the margin of error is about the square root of the number of flips. For 1,000 flips the margin of error is about 30. So you were within the margin of error.

Student: Ah, now I get if. Every time I flip 1,000 times I will always get something between 970 and 1,030 heads. Every single time! Wow, now that’s a fact I can count on.

Professor: No, no! What it means is that you will probably get between 970 and 1,030.

Student: You mean I could get 200 heads? Or 850 heads? Or even all heads?

Professor: Probably not.

Student: Maybe the problem is that I didn’t make enough flips. Should I go home and try it 1,000,000 times? Will it work better?

Professor: Probably.

Student: Aw come on Prof. Tell me something I can trust. You keep telling me what probably means by giving me more probablies. Tell me what probability means without using the word probably.

Professor: Hmmm. Well how about this: It means I would be surprised if the answer were outside the margin of error.

Student: My god! You mean all that stuff you taught us about statistical mechanics and quantum mechanics and mathematical probability: all it means is that you’d personally be surprised if it didn’t work?

Professor: Well, uh… 

Or the somewhat more heady essay on the limited utility of formal proofs by Stanford mathemetician Keith Devlin

Before we can answer this question we need to agree what we mean by proof. (This is one of the reasons why its good to have mathematicians around. We like to begin by giving precise definitions of what we are going to talk about, a pedantic tendency that sometimes drives our physicist and engineering colleagues crazy.) For instance, following Descartes, I can prove to myself that I exist, but I can’t prove it to anyone else. Even to those who know me well there is always the possibility, however remote, that I am merely a figment of their imagination. If it’s rock solid certainty you want from a proof, there’s almost nothing beyond our own existence (whatever that means and whatever we exist as) that we can prove to ourselves, and nothing at all we can prove to anyone else.

Mathematical proof is generally regarded as the most certain form of proof there is, and in the days when Euclid was writing his great geometry text Elements that was surely true in an ideal sense. But many of the proofs of geometric theorems Euclid gave were subsequently found out to be incorrectDavid Hilbert corrected many of them in the late nineteenth century, after centuries of mathematicians had believed them and passed them on to their studentsso even in the case of a ten line proof in geometry it can be hard to tell right from wrong.

When you look at some of the proofs that have been developed in the last fifty years or so, using incredibly complicated reasoning that can stretch into hundreds of pages or more, certainty is even harder to maintain. Most mathematicians (including me) believe that Andrew Wiles proved Fermat’s Last Theorem in 1994, but did he really? (I believe it because the experts in that branch of mathematics tell me they do.)

In late 2002, the Russian mathematician Grigori Perelman posted on the Internet what he claimed was an outline for a proof of the Poincare Conjecture, a famous, century old problem of the branch of mathematics known as topology. After examining the argument for two years now, mathematicians are still unsure whether it is right or not. (They think it “probably is.”)

Or consider Thomas Hales, who has been waiting for six years to hear if the mathematical community accepts his 1998 proof of astronomer Johannes Keplers 360-year-old conjecture that the most efficient way to pack equal sized spheres (such as cannonballs on a ship, which is how the question arose) is to stack them in the familiar pyramid-like fashion that greengrocers use to stack oranges on a counter. After examining Hales’ argument (part of which was carried out by computer) for five years, in spring of 2003 a panel of world experts declared that, whereas they had not found any irreparable error in the proof, they were still not sure it was correct.

With the idea of proof so shakyin practiceeven in mathematics, answering this year’s Edge question becomes a tricky business. The best we can do is come up with something that we believe but cannot prove to our own satisfaction. Others will accept or reject what we say depending on how much credence they give us as a scientist, philosopher, or whatever, generally basing that decision on our scientific reputation and record of previous work. At times it can be hard to avoid the whole thing degenerating into a slanging match. For instance, I happen to believe, firmly, that staples of popular-science-books and breathless TV-specials such as ESP and morphic resonance are complete nonsense, but I can’t prove they are false. (Nor, despite their repeated claims to the contrary, have the proponents of those crackpot theories proved they are true, or even worth serious study, and if they want the scientific community to take them seriously then the onus if very much on them to make a strong case, which they have so far failed to do.)

Once you recognize that proof is, in practical terms, an unachievable ideal, even the old mathematicians standby of Gdel’s Incompleteness Theorem (which on first blush would allow me to answer the Edge question with a statement of my belief that arithmetic is free of internal contradictions) is no longer available. Gdel’s theorem showed that you cannot prove an axiomatically based theory like arithmetic is free of contradiction within that theory itself. But that doesn’t mean you can’t prove it in some larger, richer theory. In fact, in the standard axiomatic set theory, you can prove arithmetic is free of contradictions. And personally, I buy that proof. For me, as a living, human mathematician, the consistency of arithmetic has been provedto my complete satisfaction.

So to answer the Edge question, you have to take a common sense approach to proofin this case proof being, I suppose, an argument that would convince the intelligent, professionally skeptical, trained expert in the appropriate field. In that spirit, I could give any number of specific mathematical problems that I believe are true but cannot prove, starting with the famous Riemann Hypothesis. But I think I can be of more use by using my mathematician’s perspective to point out the uncertainties in the idea of proof. Which I believe (but cannot prove) I have. 

Or Seth Lloyd from MIT:

I cannot prove that electrons exist, but I believe fervently in their existence. And if you don’t believe in them, I have a high voltage cattle prod I’m willing to apply as an argument on their behalf. Electrons speak for themselves. 

And the apparently lone theist, David Myers:

As a Christian monotheist, I start with two unproven axioms:

1. There is a God.

2. It’s not me (and it’s also not you).

Together, these axioms imply my surest conviction: that some of my beliefs (and yours) contain error. We are, from dust to dust, finite and fallible. We have dignity but not deity.

And that is why I further believe that we should

a) hold all our unproven beliefs with a certain tentativeness (except for this one!),

b) assess others’ ideas with open-minded skepticism, and

c) freely pursue truth aided by observation and experiment.

This mix of faith-based humility and skepticism helped fuel the beginnings of modern science, and it has informed my own research and science writing. The whole truth cannot be found merely by searching our own minds, for there is not enough there. So we also put our ideas to the test. If they survive, so much the better for them; if not, so much the worse.

Within psychology, this “ever-reforming” process has many times changed my mind, leading me now to believe, for example, that newborns are not so dumb, that electro convulsive therapy often alleviates intractable depression, that America’s economic growth has not improved our morale, that the automatic unconscious mind dwarfs the conscious mind, that traumatic experiences rarely get repressed, that most folks don’t suffer low self-esteem, and that sexual orientation is not a choice. 

Anyway, interesting stuff.

An Operational Definition of Objective Reality

Here’s a fascinating little snapshot of modern science:

A team of US physicists has proved a theorem that explains how our objective, common reality emerges from the subtle and sensitive quantum world…

The Los Alamos team define a property of a system as ‘objective’, if that property is simultaneously evident to many observers who can find out about it without knowing exactly what they are looking for and without agreeing in advance how they’ll look for it.

The full article Natural Selection Acts On The Quantum world is just plain cool (and accessible to non-scientists).

On A Cool Tangent

Yes it is our anniverary (as well as Jayne Zickafoose’s birthday), yet I still find time to blog. I’m such a romantic.

I just noticed that a friend of ours, Earl Creps (UPDATE: Earl also has a blog: RSS feed here), has been nominated to host one of the cohort groups at the Emergent convention in San Diego.

Although they misspelled his name.

Anyway, I just thought that was cool.

And to stave off any marital-counseling comments, Paula and I have been having a perfectly wonderful anniversary and are in the process of getting ready for an evening out.

Christ, Christmas, and Credit Cards

Randy Jumper, an old friend from grad school, just posted a wonderful piece from NPR.

Excerpt:

I’m not fighting the commercialization of Christmas; that fight was lost ages ago. What I’m after is more radical: Disentangling Jesus entirely from this blight on his good name. I’m out to change the bumper sticker from ‘Keep Christ in Christmas’ to ‘Free Christ from Christmas.’

Heresy? Well, compare Christmas with Martin Luther King’s birthday. On his birthday, nobody ever pays any attention to his birth. Instead, it’s ‘I have a dream’ and his impact on society. We mark Dr. King’s birth by focusing on what he said and did as an adult. Christmas, by contrast, has no time for what the adult Jesus said and did. Christmas keeps him safely shut up as a baby in the manger, where he can’t make his usual noise about people repenting and living a godly life.

I’m not proposing that we cancel Christmas. I know, the economy would collapse without it. Fine. Keep the gift-giving and the jingle bells. Let’s just subtract the remaining Jesus element from it and move that over into Easter. Call December 25th Solstice. Call it Retail Day. Call it Holiday Number Nine. I don’t care, just leave Christ out of it. He was not born to be the patron saint of fourth-quarter earnings.

Strongbad 118

On a much happier note, Strongbad #118 is one of the funniest Strong Bad emails in a long, long time.

My Halo 2 Stats

This is too wild: you can check out my Halo 2 stats (updated as I play), down to the details of an individual game.

You will note, by the way, that I am not particularly good compared to the leaders (but I guess I shouldn’t feel too bad since over 300,000 contenders have thrown their hat into the ring).

Incidentally, the campaign storyline is absolutely maddening. It’s cool as can be up until about 3/4 of the way through, and then it takes a detour into crazytown. And the ending makes you want to rip your eyeballs from your sockets and hurl them at the screen in protest.

Multiplayer rocks, though.

XBox Live

By the way, if any of my pals out there have XBox Live accounts email me your gamertag. We’ll have to play some Halo 2 together.

Curt Harlow Blogging

A good friend of mine Curt Harlow has begun to blog. Check out http://www.curtharlow.com/. He also has a Xanga site which doesn’t seem to have the same content, so you can also check it out (or just subscribe to his Xanga RSS feed).

Curt, incidentally, is relocating from the Chi Alpha central office in Springfield, MO to serve as our West Coast overseer/coach/supervisor type. His formal title is “West Coast Field Representative.”

We can’t wait to have him out here!

Bumped to Room 200–015 this week (Oct 20, 2004)

We’ve had a scheduling breakdown, and so Chi Alpha will be meeting in 200–015 instead of our regular 300–300 this week only (Oct 20, 2004).

That’s in the basement of Lane History Corner.

The time and duration are the same: Wednesday from 8:00pm to 9:30pm.

This week we’re talking about What To Do When You’re Overwhelmed based on Psalm 46.