A Post about Stubbornness1

Let’s assume for the moment that the uni­verse is com­pletely, totally, 100% deterministic.

If this is the case, then given a com­plete under­stand­ing of the laws of nature and a total snap­shot of the uni­verse at some instant, a very ded­i­cated indi­vid­ual (or machine, more likely) would be able to roll out the cal­cu­la­tions and pre­dict future states of the uni­verse. In prin­ci­pal, anyway. I admit the details would prob­a­bly get a little gnarly.

So let’s say modern sci­ence has fig­ured out more or less how to do this: a means of pre­dict­ing the future with 100% cer­tainty. It’s a neat trick. Some­thing to impress people at par­ties, anyway.

Now imag­ine a sci­en­tist—the stereo­typ­i­cal labcoat-​clad clipboard-​wielding boffin will do nicely. In fact, let’s pre­tend it’s Jen, circa strip 1. She has access to the skyscraper-​sized super­com­puter that Sci­ence has con­structed for the pur­pose of brute-​forcing its way through the mind-​boggling infini­tude of cal­cu­la­tions nec­es­sary to pre­dict the future. It’s pretty cool. She’s pretty happy about it.

One day the gang is at Razor Burger for lunch and they get to talk­ing. Jen recently bought a new cat, and she’s rap­tur­ously describ­ing it to Roy. In pass­ing, she men­tions that the uni­verse is deter­min­is­tic and that sci­ence has devel­oped a method with which it can per­fectly pre­dict the future. But god is it a beau­ti­ful cat. Her name is Agnes and she’s a calico Japan­ese Bob­tail. You really need to come over and see it one day.

In the mean­time, Roy doesn’t really care about cats. I mean, they’re okay, but in his opin­ion Jen seems a smidge over­en­thu­si­as­tic. Then again, at least she’s not talk­ing about her tuba again. So it could be worse. But wait, what was this whole thing about the uni­verse being deter­min­is­tic and sci­ence pre­dict­ing the future? That sounds bad for Roy’s free will. Roy likes his free will. Quite a bit, in fact. If he has any say in the matter, he’d rather not part with it.

Roy says as much, and Jen replies, “Oh, free will? No, that’s a myth. A farce! Here, let me show you.” She whips out a hand­held device from her coat pocket. It looks like a minia­ture Etch-A-Sketch with a retractable key­board. “Have you decided what you’re ordering?”

“What? No. I’m trying to decide between the Shank-​wich and the Shuriken Salad. I’ve been trying to watch my figure, but the Shank-​wich is unde­ni­ably delectable…”

“Perfect! See, this unit is a portable inter­face to The Com­puter. I’ll just ask it to pre­dict what you even­tu­ally decide to order. It’ll spit out an answer in a minute or two; you won’t even have to bother deliberating!” Think­ing she’s doing him a small favor, Jen begins tap­ping away at the device’s key­board. She’s hits SUBMIT before Roy can retaliate:

“No? What? That’s pre­pos­ter­ous! I refuse to listen to your device. In fact, what­ever it tells me to do, I shall do the exact oppo­site! Let’s see how this Compute-O-Whiz of yours likes that!”

And now we’ve come to the real crux of the story. If the machine can pre­dict exactly how the future will unravel, then by def­i­n­i­tion what­ever answer it yields must be the thing that Roy orders. But Roy is pred­i­cat­ing his whole deci­sion on the basis of doing the exact oppo­site of what the machine tells him to do. The machine cannot be incor­rect, but Roy is infi­nitely stub­born. He would sooner be stricken dead than follow the whims of a capri­cious mechan­i­cal deity. The unstop­pable object has run into its immov­able wall. In short: a para­dox. There­fore, it is log­i­cally impos­si­ble for Jen to tell Roy what he will be ordering.

Well, okay, fine. Just don’t tell Roy. Easy enough. Unfor­tu­nately, this doesn’t really fix any­thing. See, Milo’s been remark­ably quiet this whole con­ver­sa­tion. Actu­ally, he’s been dis­tracted. Day­dream­ing about the sci­en­tific con­se­quences regard­ing the puta­tive exis­tence of lep­rechauns, mostly. But he catches the tail end of Jen and Roy’s exchange, and he finds Roy’s stub­born­ness amus­ing. He decides to try it out with his own portable inter­face to The Com­puter. If it tells Milo that he’s going to order the Cut­lass Supreme Combo, he’ll get the Masamune Masher, and vice versa.

Now that the pre­dic­tor and the stub­born person are one and the same indi­vid­ual, The Com­puter isn’t even allowed to gen­er­ate a result. Think about it: how can The Com­puter cal­cu­late a cor­rect answer if that answer is nec­es­sar­ily the one that will not come to pass? Back when it was Jen and Roy, Jen could fea­si­bly make the query, secretly record the result some­where, wait for Roy to place his order, and then reveal the (cor­rect) pre­dic­tion after the fact. There’s noth­ing log­i­cally incon­sis­tent about that. In Milo’s case, how­ever, knowl­edge of the pre­dic­tion directly results in a paradox.

The weak con­clu­sion of our little mental exer­cise is that it’s impos­si­ble for a stub­born indi­vid­ual to know their future. A stronger con­clu­sion might be that it is gen­er­ally impos­si­ble for a person to have 100% accu­rate infor­ma­tion about the future. I can envi­sion an inter­est­ing uni­verse where the weak con­clu­sion holds but the strong one does not: in this case, The Com­puter implic­itly knows who is stub­born (and at what times, if we make the rea­son­able assump­tion that folks can be tran­siently stub­born) and fudges its responses accord­ingly. That is to say, The Com­puter occa­sion­ally lies. In point of fact, The Com­puter really does “know” the accu­rate answer—but it also “knows” that reveal­ing this answer will self-​defeat the prophecy. (Of course, we should be care­ful about per­son­i­fy­ing The Com­puter with words like know: although it is in a sense “omniscient”, it also nec­es­sar­ily lacks a cer­tain degree of agency. It should, for exam­ple, be impos­si­ble for The Com­puter itself to be stubborn!)

The point is: in this the­o­ret­i­cal world, stub­born indi­vid­u­als run the risk of get­ting a false pre­dic­tion. Thus, in order to ensure that they’re always get­ting a true and cor­rect pre­dic­tion, they need to promise to them­selves that they’ll follow what­ever advice The Com­puter gives them. Talk about a self-​fulfilling prophecy!

I’ll leave you with one last inter­est­ing corol­lary of the weak con­clu­sion. It’s suc­cinctly expressed as fol­lows: If God exists and is omni­scient, then it fol­lows that God can’t be stubborn!


1 This post is largely based on an argu­ment pre­sented in Ray­mond Smullyan’s excel­lent book This Book Needs No Title.


Discussion (19)¬

  1. PJW says:

    No one is infin­ity stub­born.

    All the com­puter must do is present an order to Roy or Milo that they can not turn down, and it does not have to be any­thing on the menu at the restau­rant.

    Given that the uni­verse is deter­min­is­tic Roy and Milo are com­put­ers that if given the right inputs will pro­duce one output.

    “He”(Milo)” decides to try it out with his own portable inter­face to The Com­puter. If it tells Milo that he’s going to order the Cut­lass Supreme Combo, he’ll get the Masamune Masher, and vice versa.”

    Only when Milo can pre­dict the future better then the com­puter can Milo go against the computer’s stated out­come.

    Now, Milo very well may be able to pre­dict the future better then the com­puter in this par­tic­u­lar case, if say the pre­dic­tive sim­u­la­tion is numer­i­cal in origin or has any pos­si­bil­ity for error in fact.

    The pro­posed para­dox may be a more numer­i­cally inten­sive prob­lem to solve cor­rectly, but still solv­able in a deter­min­is­tic uni­verse.

  2. Nick says:

    Answer: Jen receives the output and tells Roy the oppo­site.

  3. Greg says:

    @ PJW: Per­haps we could sim­plify this by making it a simply binary deci­sion instead of select­ing from a whole menu of items. Roy sub­mits his query—”Will I order the Masamune Masher or not?”—and The Com­puter returns a single boolean value as its output. This removes the computer’s abil­ity to present a third option that wouldn’t nec­es­sar­ily cause a para­dox, and there­fore side­steps the workaround you men­tion in the first para­graph of your response.

    In this mod­i­fied sce­nario, Roy has made a promise to him­self before asking the com­puter: if it replies “yes”, he won’t order the item; if it replies “no”, he WILL order it. It sounds like you’re ques­tion­ing whether Roy would be able to actu­ally follow through with this promise to him­self. After all, if it’s log­i­cally impos­si­ble for him to con­tra­dict the machine, he shouldn’t be able to!

    But it’s not clear to me via what mech­a­nism Roy would break his promise. We don’t have to assume he’s infi­nitely stub­born—just give him the unex­cep­tional char­ac­ter­is­tic that he’ll do some­thing he intends to do. (Unless, of course, he’s pre­vented by some exter­nal occur­rence. Or if he changes his mind.)

    Anyway, the point is that if he intends to oppose the machine’s pre­dic­tion, there should be some­thing to keep him from fol­low­ing through on the action. Sure, it should log­i­cally be impos­si­ble if the machine is cor­rect, but that doesn’t change the fact that Roy is going to con­tra­dict the machine unless some­thing stops him. What is that some­thing?

  4. Greg says:

    @ Nick: But that doesn’t solve the sce­nario with only Milo!

  5. pjw says:

    @Greg
    There is no some­thing, there is no seem­ingly exter­nal force that stops Roy. A remark­able coin­ci­dence that forces Roy to renege on his promise to do the oppo­site of the com­puter is pos­si­ble, how­ever inter­act­ing with the com­puter does not bring this about, so it is unlikely.
    The answer is mun­dane, there are some hidden assump­tions in the uni­verse where this is sce­nario is tran­spir­ing and there­fore in the pro­posed para­dox.

    A brute force cal­cu­la­tion does sug­gest a numer­i­cal sim­u­la­tion, and with any numer­i­cal sim­u­la­tion there comes a cer­tain of fine grain size. Jen and Milo are asking the com­puter to pre­form an extremely demand­ing pre­dic­tion. It must cor­rectly sim­u­late the inter­ac­tion of itself with the rest of the uni­verse and it must able to sim­u­la­tion this inter­ac­tion with infi­nite recur­sion to pred­i­cate the future with 100% accu­racy. Can this be done in a timely manner with avail­able com­pu­ta­tional resources? If not the com­puter spins it’s wheels trying to come up with an answer.

    To really run the pro­posed para­dox to the ground I assume this com­pu­ta­tion, includ­ing infi­nite recur­sion, is pos­si­ble with a bare brute force solu­tion. If so what does this say about the com­puter and the uni­verse it lives in?

    The com­puter sim­u­lates the uni­verse, in this sim­u­lated uni­verse is the com­puter run­ning a sim­u­la­tion of the uni­verse con­tin­u­ing down into the depths of infin­ity. In order for this com­pu­ta­tion to happen in a timely fash­ion each sub-​universe must be sim­u­lated more quickly then the last.
    This is the hidden assump­tion. That you can sim­u­lated the infi­nite with the finite. Or if you some­how allow the com­puter to also be infi­nite that you can sim­u­late an infi­nite number of infi­nite with the infi­nite.

    This is the bad assump­tion leads to what seems like a para­dox­i­cal con­clu­sion. Con­nected the dots between the bad assump­tion and the pro­posed para­dox is not imme­di­ately clear to me, I will get back to you on that. It is not sur­pris­ing that some con­tra­dic­tion is found when the base assump­tion include some sort of infin­ity.

  6. Greg says:

    I agree! To per­form the required cal­cu­la­tions, the com­puter would nec­es­sar­ily have to be at least as pow­er­ful as the uni­verse in which it’s sit­u­ated. Your point about the com­puter need­ing to be able to sim­u­late itself is an excel­lent insight.

    Now, pre­sum­ably you wouldn’t need to actu­ally brute force every mol­e­c­u­lar inter­ac­tion in the entire uni­verse to pro­duce an accu­rate result. So instead, let’s say you have a planet-​sized com­puter off-​world that’s entirely devoted to the prob­lem of the closed system of Roy, Jen, and the restau­rant. Could this work?

    Unfor­tu­nately, no. As soon as they submit their query to The Com­puter, the system is no longer closed. The Com­puter becomes a part of the system, and thus the machine must sim­u­late itself—which as you’ve pointed out doesn’t work so well.

    But really, the para­dox arises even with­out the deter­min­ism and com­pu­ta­tion aspects of the thought exper­i­ment. Let’s just assume Roy has a time machine and decides to visit the future to find out what he orders. He then plans to return to the present and order some­thing else. This is stan­dard movie time travel stuff, and gen­er­ally the res­o­lu­tion to the para­dox is that the future has changed to fit the new real­ity. But then we’re still stuck with the con­clu­sion that it’s impos­si­ble to have a 100% accu­rate pre­dic­tion of the future—even with a fully-​functional time machine!

    I guess it’s not a par­tic­u­larly pro­found point, but it’s some­thing fun (at least for me) to ponder through :)

  7. pjw says:

    I do not know if you do not cal­cu­late every­thing error will build in the sim­u­la­tion and given some amount of time the sim­u­la­tion will be wrong. Con­stant input of new more accu­rate con­di­tions could counter act this.

    The time machine adds a new twist I think. How can Roy visit the future to see what he orders. If Roy is there in the future to order then it is pre­de­ter­mined that he will go back in time so that he can order and see him­self do so.

    In a non deter­min­is­tic uni­verse if I trav­eled to the future, my future not some alter­na­tive or pos­si­ble future, I would not expect to find a copy of myself since it would not yet be deter­mined that I would travel back in time.

  8. macsnafu says:

    Good point about the com­puter need­ing to include itself (and its pre­dic­tion being given to Roy) in its pre­dic­tion. One solu­tion given in some time-​travel sto­ries has been that things happen just as they said it would, but through a com­pli­cated or unforseen set events that bring it about.
    So, for exam­ple, after Roy says he will do the oppo­site of what the com­puter pre­dicts, Milo runs over to the trash bin, turns it upside down and starts sort­ing through it, look­ing for lep­rechauns. Roy is so embarrassed/unnerved that he makes his order with­out wait­ing for Jen to tell him what was pre­dicted, or even if he was told, the ruckus causes him to forget what he was told, and he ends up order­ing what the com­puter pre­dicted he would order, after all. Humans may be stub­born, but they are still fal­li­ble beings in a com­plex uni­verse, deter­min­is­tic or not.

  9. Gary says:

    wow, that was deli­ciously geeky :) I love it!

  10. Greg says:

    @mac­snafu: You’re absolutely right. It’s a really inter­est­ing idea, and one that I think is cool from a sto­ry­telling per­spec­tive. It basi­cally requires the uni­verse to have some sort of hidden machin­ery that self-​rights itself in these sit­u­a­tions where causal­ity has gone all funky. In some sense, the uni­verse would some­how have to pro­duce some improb­a­ble sce­nario to keep the para­dox­i­cal event from hap­pen­ing. If things worked like this, then you’d be able to pro­duce an improb­a­ble event with cer­tainty simply by vis­it­ing the future! (Does that make any sense? I think it might, but I could be way wrong about that.)

    This talk of gen­er­at­ing improb­a­bil­ity with great cer­tainty kind of reminds me of Dou­glas Adams’s famed improb­a­bil­ity drive.

    @Gary: It’s good to hear that I’m not the only one inter­ested in pon­der­ing these geeky things :-)

  11. macsnafu says:

    Right. In a 100% deter­min­is­tic uni­verse, knowl­edge of the future should not allow changes to occur. But sup­pose, instead, that it’s only *mostly* deter­min­is­tic, but not com­pletely, say 75-90% deter­min­is­tic. That is, the larger struc­ture, con­text, or set­ting is deter­mined, but smaller details are not. In that case, which item Roy orders may not be pre­dictable, or only a cer­tain prob­a­bil­ity of his order can be pre­dicted, but with­out 100% cer­tainty.

    I sug­gest this because I do believe in free will, but nonethe­less, there is a cer­tain order to the uni­verse, and not random chaotic-​ness.

    Look­ing at the struc­ture of the atom, as a basis, they tell us that the exact location/velocity of an elec­tron in that atom cannot be deter­mined. How­ever, it cer­tainly can be deter­mined that that elec­tron is within a cer­tain orbit at a cer­tain dis­tance around the nucleus of the atom, even if its exact loca­tion is not deter­minable. We know more gen­er­ally where it is, even if it’s not exact.

  12. daniel says:

    The prob­lem, as already said, is that the com­puter can’t be part of the uni­verse it is sim­u­lat­ing. Or, to be more pre­cise, it can only make 100% accu­rate pre­dic­tions for points out­side it’s future light cone. Any­thing placed in the computer’s future light cone could be causally linked to the com­puter itself and would require the com­puter to sim­u­late itself.
    This shows that com­puter CAN make 100% accu­rate pre­dic­tions about a part of the uni­verse, but anyone influ­enced by the pre­dic­tion cannot find that answer before the event actu­ally hap­pens, because the event is out­side the computer’s future light cone, so out­side any pos­si­ble means of com­mu­ni­ca­tion with the com­puter (the two light cones will even­tu­ally inter­sect, so the answer can be ver­i­fi­able after the event).

  13. Greg says:

    @daniel: Yeah, it’s stuff like this that makes me think that faster-than-light travel is really impos­si­ble, or at the least effec­tively an equiv­a­lent to time travel. If you can break the cosmic speed limit, you’ve pretty much tossed causal­ity out the window.

    Between this light cone issue and macsnafu’s point about the Heisen­berg uncer­tainty prin­ci­ple, I think we’ve pretty firmly estab­lished the impos­si­bil­ity of actu­ally real­iz­ing this thought exper­i­ment.

  14. Lupo says:

    Well, if the Com­puter knows every­thing, prob­a­bly knows even that Roy will do the oppo­site of what it says, so the answer to jen ques­tion could be “Roy will order “A” but only if you say him I said “B”.

    In true real­ity, the Heisem­berg uncer­tainty prin­ci­ple is the real answer…

  15. Lupo says:

    Uh, I forgot: you can’t tell to the sub­ject of an exper­i­ment that implies choice that you are mon­i­tor­ing the choices he will make. Doing this you make the sub­ject make his choices con­sid­er­ing that he’s being mon­i­tored.
    …f***, this is Heisen­berg again!

  16. Lupo says:

    Ok, forget every­thing, I made the mis­take to com­ment before read­ing all your com­ments. I’ve been just redun­dant.

    *crawls out in shame*

  17. Greg says:

    Aww, don’t crawl away, Lupo! We still love you!

    I mean, not in a creepy way or any­thing. Just… just enough so you don’t feel bad any­more?

  18. Lupo says:

    Ok Greg, thanx, I under­stand what you mean (and it’s mutual, i swear).

    By the way, the way you made the “timetravelling teddy bears” sto­ry­line evolve makes me think about tour com­ment of the 26th…

  19. Greg says:

    Good eye. But is it really how things work in the strip?

    Well gee, if I told you that, it’d ruin all the sus­pense!

    (I sus­pect we’ll find out even­tu­ally, though.)

Comment¬