What I Believe But Cannot Prove

By Sean Carroll | April 11, 2007 3:43 pm

Each year, John Brockman’s Edge asks a collection of deep thinkers a profound question, and gives them a couple of hundred words to answer: The World Question Center. The question for 2005 was What Do You Believe Is True Even Though You Cannot Prove It? Plenty of entertaining answers, offered by people like Bruce Sterling, Ray Kurzweil, Lenny Susskind, Philip Anderson, Alison Gopnik, Paul Steinhardt, Maria Spiropulu, Simon Baron-Cohen, Alex Vilenkin, Martin Rees, Esther Dyson, Margaret Wertheim, Daniel Dennett, and a bunch more. They’ve even been collected into a book for your convenient perusal. Happily, these questions are more or less timeless, so nobody should be upset that I’m a couple of years late in offering my wisdom on this pressing issue.

Most of the participants were polite enough to play along and answer the question in the spirit in which it was asked, although their answers often came down to “I believe the thing I’m working on right now will turn out to be correct and interesting.” But to me, there was a perfectly obvious response that almost nobody gave, although Janna Levin and Seth Lloyd came pretty close. Namely: there isn’t anything that I believe that I can prove, aside from a limited set of ultimately sterile logical tautologies. Not that there’s anything wrong with tautologies; they include, for example, all of mathematics. But they describe necessary truths; given the axioms, the conclusions follow, and we can’t imagine it being any other way. The more interesting truths, it seems to me, are the contingent ones, the features of our world that didn’t have to be that way. And I can’t prove any of them.

The very phrasing of the question, and the way most of the participants answered it, irks me a bit, as it seems to buy into a very wrong way of thinking about science and understanding: the idea that true and reliable knowledge derives from rigorous proof, and anything less than that is dangerously uncertain. But the reality couldn’t be more different. I can’t prove that the Sun will rise tomorrow, that radioactive decays obey an exponential probability law, or that the Earth is more than 6,000 years old. But I’m as sure as I am about any empirical statement that these are true. And, most importantly, there’s nothing incomplete or unsatisfying about that. It’s the basic way in which we understand the world.

Here is a mathematical theorem: There is no largest prime number. And here is a proof:

Consider the list of all primes, pi, starting with p1 = 2. Suppose that there is a largest prime, p*. Then there are only a finite number of primes. Now consider the number X that we obtain by multiplying together all of the primes pi (exactly once each) from 2 to p* and adding 1 to the result. Then X is clearly larger than any of the primes pi. But it is not divisible by any of them, since dividing by any of them yields a remainder 1. Therefore X, since it has no prime factors, is prime. We have thus constructed a prime larger than p*, which is a contradiction. Therefore there is no largest prime.

Here is a scientific belief: General relativity accurately describes gravity within the solar system. And here is the argument for it:

GR incorporates both the relativity of locally inertial frames and the principle of equivalence, both of which have been tested to many decimal places. Einstein’s equation is the simplest possible non-trivial dynamical equation for the curvature of spacetime. GR explained a pre-existing anomaly — the precession of Mercury — and made several new predictions, from the deflection of light to gravitational redshift and time delay, which have successfully been measured. Higher-precision tests from satellites continue to constrain any possible deviations from GR. Without taking GR effects into account, the Global Positioning System would rapidly go out of whack, and by including GR it works like a charm. All of the known alternatives are more complicated than GR, or introduce new free parameters that must be finely-tuned to agree with experiment. Furthermore, we can start from the idea of massless spin-two gravitons coupled to energy and momentum, and show that the nonlinear completion of such a theory leads to Einstein’s equation. Although the theory is not successfully incorporated into a quantum-mechanical framework, quantum effects are expected to be unobservably small in present-day experiments. In particular, higher-order corrections to Einstein’s equation should naturally be suppressed by powers of the Planck scale.

You see the difference, I hope. The mathematical proof is airtight; it’s just a matter of following the rules of logic. It is impossible for us to conceive of a world in which we grant the underlying assumptions, and yet the conclusion doesn’t hold.

The argument in favor of believing general relativity — a scientific one, not a mathematical one — is of an utterly different character. It’s all about hypothesis testing, and accumulating better and better pieces of evidence. We throw an hypothesis out there — gravity is the curvature of spacetime, governed by Einstein’s equation — and then we try to test it or shoot it down, while simultaneously searching for alternative hypotheses. If the tests get better and better, and the search for alternatives doesn’t turn up any reasonable competitors, we gradually come to the conclusion that the hypothesis is “right.” There is no sharp bright line that we cross, at which the idea goes from being “just a theory” to being “proven correct.” Rather, maintaining skepticism about the theory goes from being “prudent caution” to being “crackpottery.”

It is a intrinsic part of this process that the conclusion didn’t have to turn out that way, in any a priori sense. I could certainly imagine a world in which some more complicated theory like Brans-Dicke was the empirically correct theory of gravity, or perhaps even one in which Newtonian gravity was correct. Deciding between the alternatives is not a matter of proving or disproving; its a matter of accumulating evidence past the point where doubt is reasonable.

Furthermore, even when we do believe the conclusion beyond any reasonable doubt, we still understand that it’s an approximation, likely (or certain) to break down somewhere. There could very well be some very weakly-coupled field that we haven’t yet detected, that acts to slightly alter the true behavior of gravity from what Einstein predicted. And there is certainly something going on when we get down to quantum scales; nobody believes that GR is really the final word on gravity. But none of that changes the essential truth that GR is “right” in a certain well-defined regime. When we do hit upon an even better understanding, the current one will be understood as a limiting case of the more comprehensive picture.

“Proof” has an interesting and useful meaning, in the context of logical demonstration. But it only gives us access to an infinitesimal fraction of the things we can reasonably believe. Philosophers have gone over this ground pretty thoroughly, and arrived at a sensible solution. The young Wittgenstein would not admit to Bertrand Russell that there was not a rhinoceros in the room, because he couldn’t be absolutely sure (in the sense of logical proof) that his senses weren’t tricking him. But the later Wittgenstein understood that taking such a purist stance renders the notion of “to know” (or “to believe”) completely useless. If logical proof were required, we would only believe logical truths — and even then the proofs might contain errors. But in the real world it makes perfect sense to believe much more than that. So we take “I believe x” to mean, not “I can prove x is the case,” but “it would be unreasonable to doubt x.”

The search for certainty in empirical knowledge is a chimera. I could always be a brain in a vat, or teased by an evil demon, or simply an AI program running on somebody else’s computer — fed consistently misleading “sense data” that led me to incorrect conclusions about the true nature of reality. Or, to put a more modern spin on things, I could be a one of Boltzmann’s Brains — a thermal fluctuation, born spontaneously out of a thermal bath with convincing (but thoroughly incorrect) memories of the past. But — here is the punchline — it makes no sense to act as if any of those is the case. By “makes no sense” we don’t mean “can’t possibly be true,” because any one of those certainly could be true. Instead, we mean that it’s a cognitive dead end. Maybe you are a brain in a vat. What are you going to do about it? You could try to live your life in a state of rigorous epistemological skepticism, but I guarantee that you will fail. You have to believe something, and you have to act in some way, even if your belief is that we have no reliable empirical knowledge about the world and your action is to never climb out of bed. On the other hand, putting aside the various solipsistic scenarios and deciding to take the evidence of our senses (more or less) at face value does lead somewhere; we can make sense of the world, act within it and see it respond in accordance with our understanding. That’s both the best we can hope for, and what the world does as a matter of fact grant us; that’s why science works!

It can sound a little fuzzy, with this notion of “reasonable” having sneaked into our definition of belief, where we might prefer to stand on some rock-solid metaphysical foundations. But the world is a fuzzy place. Although I cannot prove that I am not a brain in a vat, it is unreasonable for me to take the possibility seriously — I don’t gain anything by it, and it doesn’t help me make sense of the world. Similarly, I can’t prove that the early universe was in a hot, dense state billions of years ago, nor that human beings evolved from precursor species under the pressures of natural selection. But it would be unreasonable for me to doubt it; those beliefs add significantly to my understanding of the universe, accord with massive piles of evidence, and contribute substantially to the coherence of my overall worldview.

At least, that’s what I believe, although I can’t prove it.

CATEGORIZED UNDER: Philosophy, Science
  • Pingback: Andrew Jaffe: Leaves on the Line

  • http://scienceblogs.com/evolgen RPM

    One of the essays dealt with the mathematical definition of proof — similar to your post. I can’t tell you which one or who it was by as my copy of the book is sitting next to my toilet at home, where it made for some okay bathroom reading. And a lot of the biology in the book is total crap, in case you care.

  • Pingback: Rebecca Hartong » What We Believe

  • Sean Lake

    Logic is a very binary system – true, false and that’s it.

    Is it possible to extend logic into the realm of “almost” in any kind of rigorous way? I’m tempted to say that the answer is statistics, or some form thereof, but maybe not.

    Point being that the world of “almost” is where science lives, obviously, so do you think that making that distinction is enough encapsulate the above?

  • anon

    couldn’t X be composite, which still provides a contradiction by requiring the existence of larger primes? e.g. 2*3*5*7*11*13 + 1 = 30031 = 59*509…

    but i’m just being anal, great post!

  • Shaun Maguire

    – anon

    59 and 509 are both prime numbers GREATER THAN 13. This contradicts your assumption that 13 is the LARGEST prime number.

    The proof is assuming there are only a finite number of primes, 13 in your case. The number p = 2*3*5*7*11*13 + 1 is not divisable by any of the primes between 2 – 13. Therefore, there exists a prime greater than 13… Either the number p, or its composite factors.

  • anon

    hi shaun, right, i think we are making the same point…? my point was X is not always prime, but it always implies the existence of larger primes.

  • Sean Lake

    Of course – if X were prime finding new ones would be easy.

  • http://www.crookedtimber.org Kieran

    Logic is a very binary system – true, false and that’s it.

    From my admittedly amateur experience, formal logic can be a hell of a lot weirder than that.

  • http://www.crookedtimber.org Kieran

    “What I can (pretty much) prove but can’t believe” would be a good follow-up topic.

  • http://www.arsmathematica.net/ Walt

    Kieran: What do you have in mind? In classical logic, statements are in principle either true or false (though in practice this can be unknowable).

  • Jennifer West

    Sean, lovely post, it is precisely what I was trying to explain to one of the students I tutor as well as the woman who waxes my legs at the spa. The woman was extremely unimpressed with scientists, who have nothing but flimsy theories, and data that fits the theory, but may also fit another yet to be discovered theory. Theories which cannot state “this is eternally true!” with certitude. I told her but don’t you understand, this is the strength in science, the ability to be flexible, to realize that our understanding is partial and we may have to discard a theory tomorrow because of new data. But that 2 of the main scientific theories of how the world work have been experimentally verified over and over (verified, not proven). She was not impressed and a change of subject.

    It is strange, it reminds me of people who think that the strongest people in the world are those who never waver, never doubt, when really the opposite is true, the people who can withstand all sorts of challenges, to intellect/motives/knowledge/opinions, and come around to a new way of thinking if the challenges make sense and are sound, these are the strong ones.

    It is not politically correct to say so, I suppose.

  • Janet Leslie Blumberg

    Wonderful post, Sean. This is why I love science. I’m so moved I not even going to quibble about anything today.

  • http://www.scottaaronson.com/blog Scott Aaronson

    Nice post, Sean — but I’m surprised no one’s questioned your stated belief that contingent truths are more interesting than necessary truths by reason of their contingency. On behalf of the Mathematician Awareness League, I wish to remind Cosmic Variance readers that some people find necessary truths more interesting by reason of their necessity! (Are those people posting to Cosmic Constancy instead?)

    Oh, as for me? I’m partial to those necessary truths that no one would have thought to prove if not for contingent truths.

  • M

    Perhaps Kieran speaks of one amongst the following:

    Paraconsistent logics or relevance logics or perhaps any many valued logic system. Modal logics are not so simple either. Even the constructivist logics, which remove the law of excluded middle has that Not P does not necessitate P.

  • http://www.anthonysmith.me.uk Anthony Smith

    Sean Lake wrote:

    Is it possible to extend logic into the realm of “almost” in any kind of rigorous way?

    Bayesian statistical methods do just this – see this page on Probability Theory As Extended Logic.

  • Steve

    Walt, An example of a non-binary logic is ternary logic. My copy of NKS tells me that people who have worked in this area include Jan Łukasiewicz and Emil Post.

  • BEEP

    It strikes me that the question was poorly poised.

    “What do I believe that I cannot test?” would have been far better,
    and getting to the point of reasonableness.

    “What do I believe that I cannot test properly?”.

    For Example, Cosmologists, are confronted with Inflation everyday.
    So some aspects of inflation have been tested…but I would say, certainly not properly. So I am interested in this theory – but don’t yet believe it.

    I am attending a “String Theory” conference next month where I expect to be innundated with the “Landscape theory” to explain why we live in a Universe that appears to be accelerating. This idea seems almost hopeless to ever test, and so I am not interested in it at all.

    So Sean…we know your views on God. But what do you believe in that you cannot test (properly)…

  • http://blogs.discovermagazine.com/cosmicvariance/sean/ Sean

    Scott, interestingness is very much in the brain of the beholder, not inherent in the object. It’s a good thing that not everyone thinks the same way as me (on this as on so many other things).

    For example, I’m very interested in the possibility of an unobservable multiverse, which Beep is not. I wouldn’t go so far as to say that I believe in it (at this point), but I hope that someday we’ll have a theory, which we can test, and which makes unambiguous predictions about what happens outside our parochial little patch of spacetime.

  • kavik

    Not to be a quibbler or anything, but in order to prove that there are an infinite number of primes, you must treat N = 2*3*…*p + 1 in 2 separate cases: N is prime and N is composite. And you might’ve given Euclid credit for this (I personally consider this to be the defn of the “perfect proof” – neat, short, elegant, easy to understand, and far reaching.

  • anon

    yes kavik…that was my original point! perhaps a cleaner way to state the proof:

    consider the list of primes up to a prime p. then consider X = 2*3*…*p + 1. by the fundamental theorem of arithmetic, there exists a prime q that divides X. q cannot be in the original list, as shown by sean. so p

  • http://countiblis.blogspot.com Count Iblis

    Anon, Kavik are you two objecting to proof by contradiction? I know that there are some hard core mathematical fundamentalists who won’t accept proof by contradiction :)

    Also, some mathematical facts are not as unambiguous as one might think. Take e.g. the concept of uncountable infinities, like the cardinality of the set of real numbers,
    see e.g. here

  • Pingback: Nordic Graceland » What I believe but cannot prove

  • TimG

    Interesting post, Sean. But it seems like you’re really talking about two separate (albeit related) issues:

    1) Science works inductively rather than deductively.
    That is, rather than concluding that a proposition must be true because it follows logically from an accepted axiom, we conclude that a proposition is probably true because it agrees with observation, and “probably” converges to “almost certainly” with the continued accumulation of relevant observations.

    2) Science is based on untestable assumptions.
    For instance, if we’re claiming such-and-such experiment is evidence of the way the world really is, then we’re assuming that there isn’t an omnipotent God who deliberately disrupts the results of all science experiments in order to deceive scientists. (I’d say there’s no good reason to think that such a God exists, but of course I can’t prove he doesn’t.) Or, to use your example, we’re assuming that the scientist really did the experiments at all, rather than just being a brain in a jar receiving data that doesn’t have anything to do with his surroundings. Or for that matter having sprung into being five minutes ago with the false memory of doing the experiment already recorded in his brain.

    But I think it’s worth noting that any attempt to make claims about the world we live in has the same problems. A mathematician can say with certainty that given the axioms of Euclidean geometry the interior angles of a triangle must add to 180 degrees. But a mathematician cannot prove that the angles of a triangle add to 180 degrees in the real world, because he can’t prove that the axioms of Euclidean geometry hold in the real world. (Of course you can convince yourself by observation that Euclidean geometry holds reasonably well in the world around you, but then you’ve invoked the same assumptions you use every time you reason from observation — I’m not a brain in a non-euclidean jar, etc.)

    So the only claims about reality that can be proven (in the deductive sense) are negative claims: “it’s not simultaneously true that these two contradictory statements hold”. But there’s no way to prove that one particular set of logically consistent statements describes the real world better than any other — not without making assumptions.

    But the nice thing about science is that it makes the minimal set of assumptions. The assumptions of science are, roughly:
    (1) My observations (and memories of past observations) correspond to the actual world.
    (2) The world can be described by consistent, universal laws, which can be articulated in a fairly simple form.
    If we want to include what I called a “separate issue” above, we can add a third assumption:
    (3) It is reasonably to draw conclusions about these laws by reasoning inductively from my observations.

    But my point is, every method for acquiring knowledge about the world makes at least these same assumptions. If you believe, say “Every word of the King James Bible is literal truth”, you still have to assume that you can trust your own powers of observation when it comes to reading the words of the Bible, and that you can accurately remember what it said. And furthermore in trying to use it to draw conclusions about the world around you, you have to assume you are accurately observing the world around you in order to make any comparison. If I can tell you “all men are descended from Adam”, but I can’t tell you reliably whether any particular entity I encounter is a man or, say, a toaster oven, then that piece of “knowledge” is devoid of meaning.

    Likewise, if I believe the laws of the universe are constantly changing, or only apply in some cases but not others, or are too complex to ever be understood by humans, etc., then there’s no way to know how they apply to the world around me. A law that may or may not apply in any given case isn’t really a law at all.

    I’ve kind of rambled on, so I’m going to cut myself off here, but my point is:
    When it comes to deciding what we should believe about the world, you can either believe science which basically says “Trust your powers of observation and go from there”, or you can believe some other belief system, which says “Believe X, and also trust your powers of observation except perhaps where they conflict with X.” So science can reasonably said to make the minimal number of assumptions about the world (except perhaps for some completely useless belief systems like “nothing exists”, or “I can’t assume anything.”)

    I guess that was Sean’s point: not trusting your observations gets you nowhere. I’m just adding that trusting your observations and very little else gets you science.

  • http://predelusional.blogspot.com/ Stephen Uitti

    Perhaps “believe” and “prove” are not the right words. How about

    What I think seems likely, though there isn’t any evidence.


    What I think seems likely, though the evidence is currently incomplete.


    What the evidence suggests, and I think soon the evidence will strongly suggest.

  • anon

    whoops! looks like my post got cut off because i used &lt incorrectly:

    “yes kavik…that was my original point! perhaps a cleaner way to state the proof:

    consider the list of primes up to a prime p. then consider X = 2*3*…*p + 1. by the fundamental theorem of arithmetic, there exists a prime q that divides X. q cannot be in the original list, as shown by sean. so p &lt q &lt= X. therefore for any p we have shown the existence of a larger prime q (which is not necessarily X!), implying the infinitude of primes…

    but again, just nitpicking!”

    count iblis, i don’t think we are objecting to proof by contradiction…we are objecting to sean’s statement “therefore X, since it has no prime factors, is prime.” if he starts with the assumption that he can list all of the primes (i.e., there is a finite number of them), he must construct a prime not in the list to provide a contradiction. X is not always that prime, but it does imply the existence of one by the fundamental theorem of arithmetic – which is still a contradiction!

  • anon

    whoops again!!!! &lt = <!

  • http://countiblis.blogspot.com Count Iblis

    Anon, I see your point. However, this sort of ambiguity is typical of proof by contradiction. At a certain point you know that the assumption you started out with is false. But must you then stop using that assumption or can you continue and find even more obvious contradictions?

    Sean was just continuing with the original assumption and concluded that since X is not divisible by any primes in the list (which are assumed to be all the primes that exists) it must be prime itself.

    What Sean did is not wrong. Note that a sentence like “if Y is true then Z” is always true if Y is false. So, you’ll never find erroneous results by continuing with the original assumption even when you can already conclude that it is false. Therefore why not continue with it if that makes the proof simpler? :)

  • Elliot

    And now for something completely different.

    “I Believe In Love” sung by Don Williams

    I don’t believe in superstars,
    Organic food and foreign cars.
    I don’t believe the price of gold;
    The certainty of growing old.
    That right is right and left is wrong,
    That north and south can’t get along.
    That east is east and west is west.
    And being first is always best.

    But I believe in love.
    I believe in babies.
    I believe in Mom and Dad.
    And I believe in you.

    Well, I don’t believe that heaven waits,
    For only those who congregate.
    I like to think of God as love:
    He’s down below, He’s up above.
    He’s watching people everywhere.
    He knows who does and doesn’t care.
    And I’m an ordinary man,
    Sometimes I wonder who I am.

    But I believe in love.
    I believe in music.
    I believe in magic.
    And I believe in you.

    Well, I know with all my certainty,
    What’s going on with you and me,
    Is a good thing.
    It’s true, I believe in you.

    I don’t believe virginity,
    Is as common as it used to be.
    In working days and sleeping nights,
    That black is black and white is white.
    That Superman and Robin Hood,
    Are still alive in Hollywood.
    That gasoline’s in short supply,
    The rising cost of getting by.

    But I believe in love.
    I believe in old folks.
    I believe in children.
    I believe in you.

    But I believe in love.
    I believe in babies.
    I believe in Mom and Dad.
    And I believe in you.


    Sorry every once in a while I just feel compelled to disrupt the micro-granular intellectual processes I see.


  • http://tyrannogenius.blogspot.com Neil B.

    C’mon, make it something simple and basic, like, “I believe that things continue to exist even while not being observed.” Or try, “I believe that the past really existed, not just in the present and its currently-existing apparent evidence of the past.” Any honest logical positivists here that want to say they don’t really even believe that much?

  • spaceman

    As long as there are people, there will always be ATM (Against the Mainstream) theorists pushing the boundaries of thought. Just look at the fabulous examples we have today. Certain people still maintain the Earth is flat (e.g. the Flat Earth Society). Some believe, including certain South African politicians, that HIV does not lead to AIDS; although I am not so sure how many of those HIV-skeptics would be willing to stick themselves with an HIV containing needle. Others think that evolution is completely incorrect and the Earth is 6000 years old. A non-neglible number of educated folks, as well as 2/3 of Americans, think the Big Bang theory is all wrong and there is a concerted conspiracy afoot among cosmologists to suppress alternatives. Still others believe that CO2, the bubbly gas found in your sparkling water or root beer, is not a greenhouse gas.

    These MNPs (Maverick Natural Philosophers) will come up with all kinds of convoluted reasons, often untestable and almost without exception unassailable, for why these views are correct. If the evidence turns out to be overwhelmingly powerful against their views, then the MNPs turn to universal skepticism and/or philosophical fallibilism (which is actually self-defeating if you think about it, but who said the majority of these people are reasonable); I call this the “if I am not right, then nobody can be” reaction. Nevertheless, some ATM theorizing can be productive (save the examples provided in first paragraph! esp. the HIV/AIDS one) because it forces us to think differently about our Universe.

  • http://www.allysonbeatrice.com/blog Allyson

    This post took me to a very Pirsig place.

    spaceman, I believe that what people say they believe, and what they actually believe, are often completely different things.

    I can’t prove it, but if anyone wants to hand me some grant money…

  • Mark H.

    I say leave proof to math and whiskey.

  • Pingback: Tête-à-Tête-Tête » Blog Archive » Belief … Certainty … Proof

  • Aaron F.

    Just wanted to let you know I love this essay! ^_^

  • http://tyrannogenius.blogspot.com Neil B.

    I posted something similar to the quantum lottery thread, but it belongs here too:

    If all possible universes exist, even restricting to “having the same laws of physics,” we get the following conundrum for an empirical approach to verifying/confirming truth: Of the 10^10^(1,000, …) universes (not literally infinite if we imagine any kind of discontinuity of space), there will be a subset in which the least probable things happen, as already noted. But instead of peculiar events per se, consider the implications for defining “the laws of physics”: in some universes, for example Co-60 decayed throughout their history on an average of about a few hours instead of five years. (I am one of those who would have been quickly fried in such a universe, or at least where it started during part of my career… .) In such a case, what is the meaning of “half-life” etc? Would physicists and thinkers in such worlds be allowed to say from theory that the half-life was “really” about 5 years, and their whole world is a statistical fluke? Or, is empirical verification part of the very meaning of probability of occurance, in which case the subset of universes “really have different laws of physics.”, and many seem not to have any at all about such matters. Well?

  • http://thechocolatefish.blogspot.com/ Yvette

    Lovely essay. However, I will note that when I first heard the question my immediate answer to it was more to say that I believe that people are fundamentally good at heart. Now you could argue that obviously I’ve had personal experiences leading me to this conclusion and we could make up some test to conclude things either way. But then we’d have to argue over what was meant by “goodness,” we’d start swapping stories of all the terrible things we’ve experienced during our lives, and no one would fully agree.

    So I dunno, I guess the question’s alright for me so long as you’re careful what you apply it to.

  • Osama Ben

    The preponderance of evidence currently is that Hitler was not fundamentally good at heart. Anybody have a definition of “goodness” that changes that evidence?

    Here in New Mexico we have an individual in prison for raping and murdering a 12-year old girl–while he was on parole from another rape charge. A couple of years ago he attempted to hire another convict to kill the father of the 12-year old girl because the father was pushing for the death penalty. I suggest this person is not fundamentally good at heart. Is there a definition of “goodness” that includes this individual?

    Just askin’, that’s all.

  • Osama Ben

    What I started to write was that the essay is superb; one that should be assigned reading for every high school AP science student–or every AP student.

  • http://perceivingwholes.blogspot.com Jane

    OK, what to you believe without very good evidence (however you define that)? That’s obviously what the question was trying to get at.

  • Janet Leslie Blumberg

    Sean’s wonderful post on how science works would seem to lead toward respect for those who live within or work within any area of inquiry that exercises a similarly high critical awareness of its own tradition and a commitment to open discussion and a willingness to revise even the most revered (or hoary) principles in order to get closer to the subject matter. So…

    Well, here’s an amazing example from within the Christian community of how to respectfully carry on genuine discussion with those we may deeply disagree with, without dismissing an entire institution and way of life. It’s from “Soulforce,” a group that’s been traveling to Christian campuses to affirm the full humanity of gay, lesbian, bisexual, and transgendered students on those campuses. You’ll find the following at http://www.soulforce.com/blogs/. Reflecting on visits last week to Seattle universities, one soulforce member writes:

    “Ironically, the assumptions that lead us to accept the Bible as inerrant and perfect are the same assumptions that stop us from fully including lesbian, gay, bisexual, and transgender individuals into our churches and schools. At its base is the assumption that our worldview is shared, unchanging and unwavering, throughout all time and every category we would claim for our own. It is a form of prejudice. And the foundation of it all is fear: fear of our ability to cope with change, fear of having to wrestle with new ideas and situations, fear of losing our Self, fear of being alone, fear of being wrong.

    “Faith cannot grow in concrete ground. It needs good, tilled earth. So we must wrestle with the earth we are blessed with, to sift it and question it, to tug at its roots and examine them, to prepare its branches for the grafting of new truths and revelations, to water it with thought, and nourish it with fervent study. Uncertainty cannot scare us, and—like Scripture asserts—we must prepared to submit our deepest truths to the ways of God. If we are to become the new creature, transformed, we cannot fear. There is no fear in love; that is the lesson—Northwest University included—must learn.”

    This is now Janet again: here’s the part I would emphasize for scientists to consider in their own consciences, just as Dawkins weighs on the conscience of thoughtful Christians:

    “At its base is the assumption that our worldview is shared, unchanging and unwavering, throughout all time and every category we would claim for our own. It is a form of prejudice. And the foundation of it all is fear….”

    Now Sean’s blog on how science operates (“What I Believe that I Cannot Prove”) dispells these kinds of assumptions about science. So how can someone like Dawkins in good faith use science as an exclusivist “rationality” in order to dismiss an entire group of people, who vary greatly from one another and many of whom operate (within their faith) with the openness and humilty evidenced by soulforce? Think of the religious people who led the fight against slavery, or the Civil Rights Movement in the South, or the Truth and Reconciliation process in South Africa…. What Dawkins is doing is illiberal, ungenerous, and deeply divisive, but worst of all, intellectually insupportable because it clothes prejudice and bigotry in the garb of scientific openness and honesty, and science doesn’t deserve to be so misused in the public arena, any more than religion deserves to be misused as a misguided weapon against science in the public arena.

    [This is a follow-up to a conversation over on "God Flights" but I didn't know how to use pingback! By the way, I wonder if those flights over Ohio were a response to the devastating snowstorms in Ohio at that time, asking for comfort and safety for Ohioans at a time of state-wide emergency?]

  • Pingback: Deep Grace of Theory

  • Pingback: I believe in you Cosmic Variance but how can I prove it? « Skeptigator

  • Pingback: I can’t prove anything | The Winding Path - Dev

  • ragtag

    anon writes,

    couldn’t X be composite, which still provides a contradiction by requiring the existence of larger primes? e.g. 2*3*5*7*11*13 + 1 = 30031 = 59*509…

    but i’m just being anal, great post!

    No, your’re not being anal, just wrong. There’s absolutely no way X can be composite, given the assumptions in the proof.

  • Pingback: I can’t prove anything | The Winding Path

  • Pingback: Astrolink [Global Edition] » Proof of Belief | Latest astronomy news in 11 languages

  • Jean-Denis


    You are absolutely right, but this may deserve laying out the details.

    anon writes,

    couldn’t X be composite, which still provides a contradiction by requiring the existence of larger primes? e.g. 2*3*5*7*11*13 + 1 = 30031 = 59*509…

    but i’m just being anal, great post!

    No, your’re not being anal, just wrong. There’s absolutely no way X can be composite, given the assumptions in the proof.

    The reason that X cannot be composite, is:

    if X was composite, there would exist a prime number Pj that divides X. Therefore the remainder of the division of X by Pj would be 0. But we have shown that the remainder of the division of X by *any* prime (remember: there are a finite number of primes in the assumption) is 1. The conclusion is that none of the primes divides X, and therefore the only divisors X has are 1 and X. Therefore X is prime. Since X is larger than the largest prime Pn, this contradicts the assumption that Pn is the largest prime.

    Therefore there is no largest prime: there is an infinite number of prime numbers.

    Also, all of this assumes the following definition of a prime number: a positive whole number is prime if and only if it has exactly two divisors (1 and itself).

    (forgive my awkward English. English is not my native language).


  • brian

    There is no largest prime number. And here is a proof:

    Have you ever made a mistake in a proof? How do you know for sure that you didn’t make one this time? It may be improbable that you, and everyone else has missed a glaring error every time you’ve checked it, but its not, strictly speaking, impossible. For that matter, have you conclusively proven that your brain wasn’t being tampered with by aliens when you were working out the proof causing you to jump to the wrong result? Even something as simple as calculating “2+2=4″ is subject to the same problems.

    Ultimately, even a mathematical proof isn’t rock-hard certain, because our reasoning about it still has to be done with brains that work in the messy real world, bringing us back to the level of empirical evidence and degrees of likelihood, but no certainties.

  • http://threewordslong.com/blog/ Mark

    Sean Lake wrote:

    Logic is a very binary system – true, false and that’s it.

    Is it possible to extend logic into the realm of “almost” in any kind of rigorous way? I’m tempted to say that the answer is statistics, or some form thereof, but maybe not.

    Yep, you can very naturally extend logic to take into account uncertainty thanks to Bayes’ identity. Furthermore, if you want your rules for reasoning about uncertainty to be sensible (in some weakly defined sense) it’s pretty much the only way.

    E. T. Jaynes spells it all out in his book Probability Theory: The Logic of Science. It’s a really inspiring read – equal parts maths, philosophy, pragmatics and opinion.

  • Thinker

    I would be interested to know the following simple questions:

    1. If some outside observer is preventing us from statistically testing paranormal events (by forcing them to follow random distributions), can this be tested for? This may provide more evidence for the non-existance of paranormal events – i.e. even if some outside observer was hiding the existance of paranormality, we were unable to detect their influence.
    2. If our DNA extended from one family (noahs) can we test for this using standard genetics? Can we estimate the number of generations, and does this hold? This may show that the timeline is correct, or otherwise :)
    3. Why more people think science is so awesome when in fact up to 50% of papers may be wrong.

  • Michael Pohoreski

    Sean, Logic is NOT just binary. Why do you think there is such a thing as tertiary logic?
    True, False, Indeterminate

  • Jean-Denis

    My take:

    1- If paranormal phenomenon are undistinguishable from random events, then their reality is totally irrelevant.

    2- yes, it can be tested. Using DNA in remains of Cro Magnon and Neanderthal bones, it was assessed that the initial population of Neanderthal was composed of about 8000 individuals, while the initial population of Cro Magnon was composed of about 15000 individuals. I have strictly no idea how that was done by the way… If really pressed, I might be able to retrieve where I read that.

    3- the fact that xx% of scientific papers might be wrong is probably not a reason to think either that science is awesome or that it’s not (I will not tackle the question of what it means for a scientific paper to be right or wrong). If anything, it shows that scientists are really “re-searchers”, who look hard and long before they can find a tiny bit of advancement. This might be considered awesome.

    There are many reasons why science can be seen as awesome.

    Of course, there are countless examples of things we use everyday that would not have been possible without science, such as the GPS system or vaccines.

    A nice reason in a short sentence? Science is awesome because of its predictive power (well, that sentence is too short and could be read in several wrong ways).

    For me personally, science (and the scientific method) is awesome because it allows us (mankind) to improve our collective knowledge of how “things” work. It allows us to reach beauties and marvels unreachable otherwise. I will stop right now, lest I write a full essay.


  • Thinker

    If paranormal events are being influenced, that IS an important result

  • Pingback: links for 2007-05-23 » mhinze.com

  • Pingback: It Does Matter What People Think About How the World Works | Cosmic Variance

  • Pingback: Cosmic Variance: Republican candidate beliefs in creatism...a problem for democracy? « Identity Unknown

  • http://www.mountdivination.net Thomas

    Is it a cognitive dead end to believe as Plato does when he has Socrates say: I think that Euripides may have been right in saying, who knows if life be not death and death life; and that we are very likely dead; (Plato Gorgias, 493a)?

  • Pingback: Pure Mathematics is not Science « Pat’s Daily Grind

  • http://www.twis.org/audio/2008/08/19/268/ TwisMinion

    Maybe it could be phrased like this…

    What is something you believe but haven’t been able to convince anybody else of?


    What is something you believe that you aren’t quite sure is correct?

    If they asked this question to free thinkers they can get all sorts of good answers to the question because true free thinking allows you to stake mental ground, much like staking a claim in the days of the gold rush, without actually assuming that there’s gold in them thar hills. It’s not just that you want or expect to find the gold there, it’s that you believe it could be there, but have yet to dig…

    The issue Sean seems to have is with the word believe… But Sean’s a scientist, and so we forgive and even encourage his dedication to skeptical analysis.

    Words mean different things to different people. The word believe means one thing to a cosmologist, and quite another to a preacher, gambler or five year old on Christmas Eve. The word theory in science means a concept backed up by many, many individual facts, while in layman’s terms it is equivalent to a best guess. Math is less fuzzy than words, but only because advertisers haven’t figured out how to exploit them properly yet.

    Still, even Sean must have reacted to many conversations regarding the difference between human intuition and quantum physics with something to the tune of “I agree with you completely, that makes sense, here’s why we’re wrong…”


  • Pingback: Talking About LHC Safety | Cosmic Variance

  • TP

    “Although I cannot prove that I am not a brain in a vat, it is unreasonable for me to take the possibility seriously — I don’t gain anything by it, and it doesn’t help me make sense of the world”. That sort of spoiled a very good piece.

    I think a better way to counter such an argument is if I am a brain in vat then the vat is the world for me and it is no less a world than the “true” world. I took this whole brain in a vat idea quite seriously some years ago. Now it just seems a bit ridiculous.

  • http://tyrannogenius.blogspot.com Neil B. ?

    No TP, that attitude is “anti-realist”. If you think “things really exist” in some actual configuration, then a brain in a vat is just that, however confused it may be about it’s materially true status. Otherwise you might as well be a post-modernist etc, but you aren’t a physical realist (being able to measure as e.g for quantum issues is a matter of physical principle, and not practical “handicap” as for example the tricked brain in a vat or otherwise.

    But the real “brain in a vat” problem may be even worse than the “physical” issue of there being real worlds with actual properties independent of whether any given brain can accurately assess its status or not therein. The big problem comes from the AI notion that all thought (and even experience!) is really a formal calculation process, doable with a Turing machine etc. But if that’s so, then there’s no way to know if you’re even a “real brain” at all (in a vat, or not; regardless in this case) versus just the platonically real existence of the thought process itself as a mathematical model. You can’t explain what the difference would consist of. Any difference by definition would have to be something beyond the computations, such that strong AI is wrong (which I think it is, so this is not a problem for *me*, just for such believers like spurious great-modern philosopher Dan Dennett.)

    There is no way to logically model and validate thoughts of, “Wow, I really exist as/through a brain in a material world. I’m not just the process either on a computer or even merely a concept” because physical embodiment itself cannot be represented by logical processes. Only the thoughts themselves can be, and anything that can be thought of “computationally” is just as real as pure mathematical description. All strong AI type thought is just the information itself, it is a given already as the math describing it (you’ll have to reflect on that to get the point.)

    Note that the computations happening “in time” is no way out or can show “realness”, since processes can be mathematically represented as a “block” (look up “block universe.”) IOW, this forces the acceptance of modal realism for minds, even if the fullness of physical nature cannot be entirely modeled in math (pace Max Tegmark et al.)


  • Pingback: arxiv Find: A Realistic Cosmological Model… | Cosmic Variance | Discover Magazine

  • http://www.thefreedomofchoice.com Inquiry

    This is something every Atheist should read so that they can realize how much they profoundly misunderstand science as a whole and that they’ve been convicting hypocrisy at best.

  • Pingback: Science and Religion are Not Compatible | Cosmic Variance | Discover Magazine

  • Pingback: Science Never Proves Anything « A Blank Slate


Discover's Newsletter

Sign up to get the latest science news delivered weekly right to your inbox!

Cosmic Variance

Random samplings from a universe of ideas.

About Sean Carroll

Sean Carroll is a Senior Research Associate in the Department of Physics at the California Institute of Technology. His research interests include theoretical aspects of cosmology, field theory, and gravitation. His most recent book is The Particle at the End of the Universe, about the Large Hadron Collider and the search for the Higgs boson. Here are some of his favorite blog posts, home page, and email: carroll [at] cosmicvariance.com .


See More

Collapse bottom bar

Login to your Account

E-mail address:
Remember me
Forgot your password?
No problem. Click here to have it e-mailed to you.

Not Registered Yet?

Register now for FREE. Registration only takes a few minutes to complete. Register now »