CINXE.COM

<!DOCTYPE html> <html xmlns='http://www.w3.org/1999/xhtml' xmlns:b='http://www.google.com/2005/gml/b' xmlns:data='http://www.google.com/2005/gml/data' xmlns:expr='http://www.google.com/2005/gml/expr'> <head> <link href='https://www.blogger.com/static/v1/widgets/55013136-widget_css_bundle.css' rel='stylesheet' type='text/css'/> <meta content='text/html; charset=UTF-8' http-equiv='Content-Type'/> <meta content='blogger' name='generator'/> <link href='https://gafter.blogspot.com/favicon.ico' rel='icon' type='image/x-icon'/> <link href='http://gafter.blogspot.com/2016/01/' rel='canonical'/> <link rel="alternate" type="application/atom+xml" title="Neal Gafter's blog - Atom" href="https://gafter.blogspot.com/feeds/posts/default" /> <link rel="alternate" type="application/rss+xml" title="Neal Gafter's blog - RSS" href="https://gafter.blogspot.com/feeds/posts/default?alt=rss" /> <link rel="service.post" type="application/atom+xml" title="Neal Gafter's blog - Atom" href="https://www.blogger.com/feeds/7803021/posts/default" />  <meta content='http://gafter.blogspot.com/2016/01/' property='og:url'/> <meta content='Neal Gafter's blog' property='og:title'/> <meta content='Thoughts about Programming Languages, Science and Philosophy.' property='og:description'/> <title>Neal Gafter's blog: January 2016</title> <style id='page-skin-1' type='text/css'></style> <link href='https://www.blogger.com/dyn-css/authorization.css?targetBlogID=7803021&zx=a47950cc-bda2-40e3-a160-8f470a51c044' media='none' onload='if(media!='all')media='all'' rel='stylesheet'/><noscript><link href='https://www.blogger.com/dyn-css/authorization.css?targetBlogID=7803021&zx=a47950cc-bda2-40e3-a160-8f470a51c044' rel='stylesheet'/></noscript> <meta name='google-adsense-platform-account' content='ca-host-pub-1556223355139109'/> <meta name='google-adsense-platform-domain' content='blogspot.com'/> </head> <body> <div class='navbar section' id='navbar'><div class='widget Navbar' data-version='1' id='Navbar1'><script type="text/javascript"> function setAttributeOnload(object, attribute, val) { if(window.addEventListener) { window.addEventListener('load', function(){ object[attribute] = val; }, false); } else { window.attachEvent('onload', function(){ object[attribute] = val; }); } } </script> <div id="navbar-iframe-container"></div> <script type="text/javascript" src="https://apis.google.com/js/platform.js"></script> <script type="text/javascript"> gapi.load("gapi.iframes:gapi.iframes.style.bubble", function() { if (gapi.iframes && gapi.iframes.getContext) { gapi.iframes.getContext().openChild({ url: 'https://www.blogger.com/navbar.g?targetBlogID\x3d7803021\x26blogName\x3dNeal+Gafter\x27s+blog\x26publishMode\x3dPUBLISH_MODE_BLOGSPOT\x26navbarType\x3dBLUE\x26layoutType\x3dLAYOUTS\x26searchRoot\x3dhttps://gafter.blogspot.com/search\x26blogLocale\x3den\x26v\x3d2\x26homepageUrl\x3dhttps://gafter.blogspot.com/\x26vt\x3d9028559674743070826', where: document.getElementById("navbar-iframe-container"), id: "navbar-iframe", messageHandlersFilter: gapi.iframes.CROSS_ORIGIN_IFRAMES_FILTER, messageHandlers: { 'blogger-ping': function() {} } }); } }); </script><script type="text/javascript"> (function() { var script = document.createElement('script'); script.type = 'text/javascript'; script.src = '//pagead2.googlesyndication.com/pagead/js/google_top_exp.js'; var head = document.getElementsByTagName('head')[0]; if (head) { head.appendChild(script); }})(); </script> </div></div> <div id='outer-wrapper'><div id='wrap2'>  <span id='skiplinks' style='display:none;'> <a href='#main'>skip to main </a> | <a href='#sidebar'>skip to sidebar</a> </span> <div id='header-wrapper'> <div class='header section' id='header'><div class='widget Header' data-version='1' id='Header1'> <div id='header-inner'> <div class='titlewrapper'> <h1 class='title'> <a href='https://gafter.blogspot.com/'> Neal Gafter's blog </a> </h1> </div> <div class='descriptionwrapper'> <p class='description'><span>Thoughts about Programming Languages, Science and Philosophy.</span></p> </div> </div> </div></div> </div> <div id='content-wrapper'> <div id='main-wrapper'> <div class='main section' id='main'><div class='widget Blog' data-version='1' id='Blog1'> <div class='blog-posts hfeed'> <div class="date-outer"> <h2 class='date-header'><span>Tuesday, January 26, 2016</span></h2> <div class="date-posts"> <div class='post-outer'> <div class='post'> <a name='3381587459732069582'></a> <h3 class='post-title'> <a href='https://gafter.blogspot.com/2016/01/ok-so-you-donot-have-free-will-so-what.html'>OK, so you do/not have free will. So what?</a> </h3> <div class='post-header-line-1'></div> <div class='post-body'> <p>We previously proved that you (do or do not) have free will. What are the consequences of that fact?<br /> <br /> Before we answer, let's review the conclusion. There are many definitions of free will. It is worth asking (and I have been asked) whether we would reach the same conclusion based on other definitions.<br /> <br /> One definition asks the question: if there were an infinitely powerful being who knew all facts about the present, would it be capable of predicting the outcome of your future decision? I cannot tell if this question has a counterfactual premise, like the question we previously answered, or if it is a theological question. If it is the former, the same proof form would apply to demonstrate the same result. If it is a theological question the answer probably depends on which holy book you consult. A related question asks: if we could build a sufficiently powerful computer and feed it the complete state of the universe, would it be capable of computing our future choices? Again, the proof form we used before can be applied. A team of rogue scientists (rogue because they used "borrowed" equipment) claim to have constructed such a computer, and they claim that its prediction rate is 100% so far. I am suspicious of this claim, as their computer appears not to be capable of predicting a decision until after it has been made. The computer is called World Of Real Life Determinator, with the nice-sounding acronym WORLD.<br /> <br /> A different definition asks the perhaps more sensible question regarding your future decisions, rather than your past decisions: for your future decision, is more than one option a possible future? In other words, can you do "otherwise" for a future decision? This question can be answered scientifically! There are three scientific approaches to the question, but unfortunately the result is somewhat ambiguous. The first approach is simple: from experience it is obvious that every decision we made previously was not made "otherwise", but was instead made in precisely the way we made it. If we assume the future to be similar to the past - that is a basic assumption of science, after all - then we should expect that future decisions to similarly not be "otherwise". We can test this theory too and we observe, as we expect, that any further decision we make is not made "otherwise". This approach to the scientific question clearly points out that we do not have free will. This is a well-respected proof form called <i><a href="http://fallacyaday.com/2011/10/retrospective-determinism/">retrospective determinism</a>.</i><br /> <br /> The second approach is to consult the physicists. The most widely accepted interpretations of quantum physics teach us that the results of quantum interactions are not determined by the previous state of the universe. That leaves room for small random fluctuations at the quantum and microscopic levels to affect our behavior over time as differences are amplified by chaotic processes in nature. In other words, the future is not determined. The incompatibilists have shown that this does not allow for free will, as we are not fundamentally in control of the random processes that affect our decisions; this is the well-respected proof form <i><a href="https://en.wikipedia.org/wiki/Moving_the_goalposts">moving the goalposts</a></i>. On the other hand, there <i>are</i> interpretations of quantum mechanics that, though not widely accepted, say the opposite.<br /> <br /> The final scientific approach to this question gets to the root of the issue. The point of the question regarding free will is really about moral judgments of others. If nobody has free will, the argument goes, it would be absurd to blame or praise other people, for they were unable to freely choose how to behave. This is a well-respected argument form called <a href="https://en.wikipedia.org/wiki/Argumentum_ad_lapidem"><i>argumentum ad lapidem</i></a>. Can we scientifically test whether blame and praise are absurd or useful?<br /> <br /> It turns out such an experiment had already been performed. In 1954 a team of scientists put together one of the largest controlled scientific experiments involving people that had ever been conducted. Eight hundred thousand people were selected for participation in the experiment, and randomly assigned to one of two groups. One group was assigned to live in the newly constructed city Dexter, which was operated under the assumption that blame and praise are proper to the conduct of a society. The other group was assigned to the new city Sinister, which was operated under the assumption that blame and praise are useless. Most people were not told which group they were assigned to; though they knew the name of their city, they did not know under which set of assumptions it was operated. Of course it became apparent after a time. The experiment ran for a full year. It led to a large number of PhD theses, research results, conferences, and scholoarly scientific debates. As we'll see, the results of the experiment were somewhat ambiguous.<br /> <br /> The differences between Dexter and Sinister were as follows. In Dexter, police detectives were given the duty of assigning blame for crimes to individuals living in the city based on the individual's presence late in the causal chain leading to the criminal act. In other words, in the usual way. These people, called "criminals", were then subjected to what we would consider a typical criminal justice system. Rather than eliminating the criminal justice system in Sinister entirely, scientists eliminated only the assignment of blame based on the person associated with the criminal act. Instead, the police detectives of Sinister were responsible for conducting a kind of lottery for each crime committed. In this way blame would be assigned to a random citizen, or nobody at all (at a rate comparable to the conviction rate in Dexter). The conduct of the criminal justice systems in Dexter and Sinister mirrored each other, with the exception that blame in Sinister was assigned randomly.<br /> <br /> Similarly, praise and reward in Dexter would be assigned to individuals on the basis of their presence late in the causal chain of events leading to outcomes considered useful or desirable. Productive employees would receive a raise and perhaps a promotion. In Sinister, however, praise and reward would be assigned randomly, in a way unrelated to the behavior of the individual. Parents in Sinister were taught to love and praise their children unconditionally, no matter the child's behavior.<br /> <br /> The experiment was originally intended to run longer than a year, but had to be cut short due to funding issues. By the end of the year there were severe problems in Sinister that led many of its citizens to want to quit the project. There was, however, sufficient funding to analyze the results. It was clear to all that there were deeply disturbing differences between the two cities. Dexter, on the one hand, evolved in the way one would expect of a civilized society. Sinister, on the other hand, experienced rampant crime, surprisingly low worker productivity, and many competing gangs and militia. A significantly larger number of people survived the experiment in Dexter rather than in Sinister. But what to make of these results?<br /> <br /> There emerged two camps of scientists who differed in their interpretation of the experiment's results. They called themselves the conflationists and the inconflationists.<br /> <br /> The inconflationists believed that the experiment had improperly conflated "fundamental, moral" blame with blame in the usual sense, and therefore was not useful for answering any question about whether or not blame and praise are appropriate. While the experiment had demonstrated differences between the two cities, the inconflationists argued that all such differences were easily explained by virtue of the usual mechanisms of the laws of physics, psychology, economics, and other sciences. Many of the inconflationist researchers went on to take prestigious and influential positions as Philosophy professors.<br /> <br /> The conflationists believed that the experiment had solidly demonstrated the role of blame and praise in the conduct of a civilized society, and that the results on their face were a clear demonstration of their utility. Many of the conflationist researchers went on to take prestigious and influential positions as researchers in the Social Sciences.<br /> <br /> Despite their differences, the conflationists and the inconflationists agreed, for the most part, on appropriate conduct for individuals.<br /> <br /> <hr /> This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. See http://creativecommons.org/licenses/by-sa/4.0/</p> <div style='clear: both;'></div> </div> <div class='post-footer'> <p class='post-footer-line post-footer-line-1'><span class='post-comment-link'> <a class='comment-link' href='https://www.blogger.com/comment/fullpage/post/7803021/3381587459732069582' onclick=''>7 comments</a> </span> <span class='post-icons'> </span> <span class='post-backlinks post-comment-link'> </span> </p> <p class='post-footer-line post-footer-line-2'></p> <p class='post-footer-line post-footer-line-3'></p> </div> </div> </div> </div></div> <div class="date-outer"> <h2 class='date-header'><span>Friday, January 22, 2016</span></h2> <div class="date-posts"> <div class='post-outer'> <div class='post'> <a name='4296210446242047647'></a> <h3 class='post-title'> <a href='https://gafter.blogspot.com/2016/01/proof-that-we-have-free-will-and-dont.html'>Proof That We Have Free Will. And Don't Have Free Will!</a> </h3> <div class='post-header-line-1'></div> <div class='post-body'> <p>A key question philosophers ask is whether the decisions and actions that a person takes <em>could have been otherwise</em>. If so, we say they have free will. If not, we say they do not have free will. The battle between these two camps of philosophers is fierce and bloody, and responsible for the severe shortage of philosophers around the world. I will attempt to finally settle the issue logically, in a way that each side will be able to claim victory. Finally, peace for philosophers!<br /> <br /> If you're a <em>compatibilist</em>, and believe that free will is compatible with the laws of physics, you're in luck! Think of any decision you made in the past that turned out to be a good decision. Did you accept just the right marriage proposal? Pick the right stock at the right time? Maybe your dessert choice at the restaurant turned out to be even more delicious than you imagined. I will prove, logically, that you <em>could have done otherwise</em>, and therefore that the choice was <em>up to you</em>. You are therefore entitled to all the praise and enjoyment that may result from your decision. Hurray for you!<br /> <br /> If you're an <em>incompatibilist</em>, and believe that free will is incompatible with the laws of physics, you're in luck! Think of any decision you made in the past that turned out to be a bad decision. Did you pick the wrong job? Cheat on your significant other, causing a breakup? Maybe you just picked something from the menu at the restaurant that turned out to be tainted and made you sick? I will prove, logically, that you <em>could not have done otherwise</em>, and therefore that the choice was <em>not up to you</em>. You are therefore excused from any moral responsibility for the choice. It wasn't your fault!<br /> <br /> If you're a logician, and fear that these two positions are fundamentally incompatible, you're in luck too! If we parse the meaning of the two positions carefully, we will see that they are not logically opposite to each other. Perhaps you selected the most delicious dessert, but it also made you sick. Should you take credit for the decision or not? As we'll see, the answer is yes, your should take credit for the decision... or not. You will not need to <a href="https://en.wikiquote.org/wiki/Through_the_Looking-Glass"><em>believe impossible things</em></a>, like the Queen in <em><a href="http://www.amazon.com/gp/product/0957148399/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0957148399&linkCode=as2&tag=wwwgafterco07-20&linkId=XGEDP47N4SC2LIU3" rel="nofollow">Alice Through the Looking-Glass</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tOPWop0NkYC10t6VJ5reVW54GvD-z37STtQvFxcMuDGrzkFWtoW-p4xZ1Q7uvEH5RZdwS2P1GPK3pVAea6J-dbBxGndDxid9lqdOOWPfiC2Mq-TnrDBGDnasZZ1wUSVWWygyRgshi0Vc0WXkbTXqeGoYs=s0-d" style="border: none !important; margin: 0px !important;" width="1"></em>, to believe both at the same time. I will prove that these two positions are not merely logically compatible, but they are both mutually necessary consequences of our understanding of the world. Yay logic!<br /> <br /> <h2> Background, Assumptions, and Definitions</h2> <blockquote> <br /> <b>The thing to be proven is</b><br /> <br /> <dl> <dt><em>(if you're an incompatibilist)</em>:<br /> </dt> <dd>If we could rewind the world to precisely the state before any particular decision you made that you regret, then you would make exactly the same decision.</dd> <dt><br /> <em>(if you're a compatibilist)</em><br /> </dt> <dd>If we could rewind the world to precisely the state before any particular decision you made that you were happy with, then you would make a different decision.</dd></dl> </blockquote> If you are a logician we will expect a little more from you. You will have to follow two proofs at once. You're up to it.<br /> <br /> We will prove these propositions using only first-order predicate logic and a few "facts" about the world that you are asked to agree to. Don't worry, we are not asking for much. These will be treated as axioms in our proofs. We'll label them so that we can refer to them later.<br /> <blockquote> <b>(A1) Axiom 1: Increasing Entropy.</b> Future states of the universe have a <a href="https://www.youtube.com/watch?v=-Km7-6-J81k">higher total entropy than past states</a>.</blockquote> The time scales of interest here are those meaningful to a person: seconds, minutes, months, years. The intent of this axiom is that nothing may occur that would cause total entropy of the universe to <em>decrease</em> over any meaningful time scale. This axiom is consistent with every widely-held scientific view of the physical world. It is one form of the <a href="https://www.youtube.com/watch?v=-Km7-6-J81k">second law of thermodynamics</a>.<br /> <blockquote> <b>(A2) Axiom 2: (In)Determinism.</b> The world is deterministic, in the sense meant by physicists. (Unless you're a compatibilist.)</blockquote> The future state of the world is fully determined by the present state, without the possibility of any variation. For those of you who believe in any of that hooey "quantum physics science" nondeterminism nonsense, or the soul, or god's influence over our actions, or karma, we won't allow any of that in our model of the world. Actually, no, wait, scratch that. If you're an incompatibilist, this axiom is that the world is deterministic. If you're a compatibilist, this axiom is that the world is nondeterministic, and you're allowed whichever of these odd beliefs make you happy. (If you're a logician, take your pick. We don't actually use this axiom.)<br /> <blockquote> <b>(A3) Axiom 3: No Time Travel.</b> The future state of the world is only affected by the <em>past</em> state of the world.</blockquote> The future can be affected by the past, and whatever other things we allowed you to believe through Axiom 2. But none of those things are allowed to carry information, or matter, of any kind from the future into the past. You're not allowed to whisper stock picks into the ear of your past self, or send an iPad to 1960, or kill your grandfather. These are things that would modify the <em>state</em> of the world after rewinding it to a previous state, so it isn't allowed. This axiom is consistent with the currently known laws of physics. (If you're a logician and aren't sure what Axiom 2 allowed you to believe, don't worry. We don't actually use this axiom either.)<br /> <br /> <h2> The Experimental Method</h2> <br /> One approach we could take to addressing this question is to just <em>try it</em>. Surely, as scientists, that would be the most rational thing to do. Unfortunately, reality rears its ugly head:<br /> <ul> <li>We do not currently have the technology to "reset" the complete state of the world to some previous state.<br /> </li> <li>If you were to actually reset the world to a previous state, you would probably end up going through the day and then getting to a time that you <em>do the same experiment again</em>. You would, essentially, find yourself in some strange version of <a href="http://www.amazon.com/gp/product/B000Z8GZYW/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=B000Z8GZYW&linkCode=as2&tag=wwwgafterco07-20&linkId=WBONQFCKQBOHAOFN" rel="nofollow">Bill Murray's Groundhog Day</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sIt4X7kT-kNm15ddQjH67vIyTaCfEUU7EViwBNbOagdQLdDwid40Q23CCp1sNLwc4HT1CGsMJRx6ojEN-b04ufm_YGH8kQNm50OlzkfraSqKSrPV56Y6OiC2y9bM_6VrApfnTNtKK27hoTU3YZKO8WbGg=s0-d" style="border: none !important; margin: 0px !important;" width="1">, living the same day of your life over and over again forever.<br /> </li> <li>Since we are resetting the entire state of the world, as experimenters we would not know what you did <em>the first time</em> because our memory would have been erased. So we would have no way to judge whether or not you made the same decision <em>the second time</em>.<br /> </li> </ul> Unfortunately, this will remain a thought experiment for now. <br /> <br /> <h2> Proof Technique</h2> <br /> We use the ordinary proof techniques of first-order predicate logic. Specifically, if we want to prove a statement of the form "If P then Q" also sometimes written "P implies Q" for some proposed statements P and Q, then we can proceed using the technique of <em>proof by contradiction</em>. To do that, we assume all of our axioms, and also assume P, and also assume NOT Q, and then attempt to derive a contradiction from this set of assumptions. If we can derive a contradiction, then we consider the proposition "If P then Q" to be proven. Our original thing to be proven is precisely in this form, so this proof technique can be applied directly. <br /> <br /> <h2> The Proof</h2> <br /> Along with the axioms, we proceed to use proof by contradiction by assuming P (for "premise") and NOT Q (we will call this S) from the thing to be proven, which we recall is <br /> <dl> <dt><em>(if you're an incompatibilist)</em>:<br /> </dt> <dd>If we could rewind the world to precisely the state before any particular decision you made that you regret, then you would make exactly the same decision.</dd> <dt><br /> <em>(if you're a compatibilist)</em><br /> </dt> <dd>If we could rewind the world to precisely the state before any particular decision you made that you were happy with, then you would make a different decision.</dd></dl> <blockquote> <b>(P) Premise:</b> we could rewind the world to precisely the state before a particular decision that you made. </blockquote> <blockquote> <b>(S)</b> You would <em>not</em> make<br /> <ul> <li>(for incompatibilists) exactly the same decision;<br /> </li> <li>(for compatibilists) a different decision.<br /> </li> </ul> </blockquote> Now, we need a lemma, derived from Axiom A1. Note that the entropy of the universe is, by A1, a property of the total state of the universe that is monotonically increasing when viewed on human time scales. Rewinding the state of the universe from some time <em>after</em> a decision to some time <em>before</em> that decision would be changing the state of the universe from a higher entropy state to a lower entropy state, which would violate A1. Therefore, as a corollary to A1 we have the lemma L1: <br /> <blockquote> <b>(L1) Lemma:</b> we could NOT rewind the world to precisely the state before a particular decision you made. </blockquote> We now have two facts, (P) and (L1) that are directly contradictory to each other. As we have derived a contradiction, we have completed a proof by contradiction of "if P then Q", quod erat demonstrandum. <br /> <br /> <h2> Counterfactual What?</h2> <br /> The disagreement between the compatibilists and the incompatibilists is based entirely on a fundamentally false, or <a href="https://en.wikipedia.org/wiki/Counterfactual_conditional">counterfactual</a>, premise. It is not necessary to interpret such a position as literally requiring that the counterfactual be true when it isn't. Another way of interpreting this argument is to consider a universe as similar as possible to ours, but with the minimum possible changes such that <em>the counterfactual statement is true</em>. The question then becomes whether such a universe is more similar to the one understood by the compatibilist, or the one understood by the incompatibilist. Unfortunately, in this case the second law of thermodynamics is so deeply rooted in our understanding of the way the world works that it does not make sense to imagine what such a world would look like <em>at all</em>. A world like that would just not make sense to us, as the usual rules of <i>cause</i> and <i>effect</i> would not apply. So whichever camp you're in: congratulations, you're right! <br /> <br /> <br /> <hr /> This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. See http://creativecommons.org/licenses/by-sa/4.0/ </p> <div style='clear: both;'></div> </div> <div class='post-footer'> <p class='post-footer-line post-footer-line-1'><span class='post-comment-link'> <a class='comment-link' href='https://www.blogger.com/comment/fullpage/post/7803021/4296210446242047647' onclick=''>3 comments</a> </span> <span class='post-icons'> </span> <span class='post-backlinks post-comment-link'> </span> </p> <p class='post-footer-line post-footer-line-2'></p> <p class='post-footer-line post-footer-line-3'></p> </div> </div> </div> </div></div> <div class="date-outer"> <h2 class='date-header'><span>Thursday, January 21, 2016</span></h2> <div class="date-posts"> <div class='post-outer'> <div class='post'> <a name='3685574365215268065'></a> <h3 class='post-title'> <a href='https://gafter.blogspot.com/2016/01/free-will-is-false-dilemma.html'>Free Will is a False Dilemma</a> </h3> <div class='post-header-line-1'></div> <div class='post-body'> <p>There is an age-old debate among philosophers: do people have <em>free will</em>? The question is considered important for moral judgment. If people don't have free will, it seems they shouldn't be held responsible for their actions. Why should we praise or scold a person for actions they were unable to control?<br /> <br /> I submit that the question isn't as complex as it seems, and neither is the answer important to help us decide how to behave. I believe the sides aren't as diametrically opposed as it would seem.<br /> <br /> The key question these philosophers are asking is whether the decisions and actions that a person takes <em>could have been otherwise</em>. If a person's decisions could have been otherwise, then clearly they had free will to choose one or another option, and it makes sense to hold them responsible for the choice they actually made. But if, on the other hand, they <em>could NOT have done otherwise</em>, what sense would it make to give them credit, or blame, for their actions?<br /> <br /> The question of free will is usually posed with the assumption that the world is deterministic, despite what we know about the inherent unpredictability of quantum physics. My intent isn't to question that assumption, at least not today. Let's take it as given that the world unfolds as a sequence of events, one after another, each the cause of the next in a well-defined way, even though mere mortals aren't able to predict the future in practice. The two sides in this debate are the compatibilists and the incompatibilists, reminiscent of the big-endians and little-endians of <a href="https://en.wikipedia.org/wiki/Gulliver%27s_Travels">Gulliver's Travels</a>. Recall that the big-endians cracked their eggs on the big end, and the little-endians cracked them on the little end. Because they could not agree on such an important issue, they were forever at war.<br /> <br /> The incompatibilists believe free will is impossible ("incompatible" with determinism), as people are not in control of the ultimate causes of their actions. By "ultimate cause" they mean the cause of the cause of the cause... ad infinitum. Or as far as time can be said to have existed. Because a person cannot influence any link in the causal chain, they "could not have done otherwise." The incompatibilists deem something like the big bang as the ultimate cause of everthing that has happened since. Because we did not control the big bang, we can't reasonably be held responsible for anything since then, such as our actions. To an incompatibilist, the concepts of moral blame and worth are nonsensical. A person can't reasonably be said to be ultimately responsible for their actions, and therefore they should not be held <em>moraly</em> responsible, blamed, or praised. Many incompatibilists believe that an understanding of this truth will lead to a more humane treatment of our fellow man.<br /> <br /> The compatibilists, on the other hand, believe that we have free will (it is "compatible" with determinism) because people think, feel, make moral judgments, and decide how to act based on their thoughts and feelings. It is obvious that we have free will. The compatibilists don't care whether we have control over the chemical reactions in our bodies, or our genes, or the limited set of choices we have to select from. To a compatibilist, it isn't relevant whether or not we are the <em>ultimate</em> cause; we are the <em>proximate</em> cause of our actions, and they arise <em>from us</em>. That is all that's necessary to say that free will exists. Compatibilists believe that the kind of free will that the incompatibilists say we don't have wouldn't be useful even if we had it. When a compatibilist wonders if we "could have done otherwise", the question is really whether one is likely to repeat the same decision in situations that are the same only in morally relevant ways. A murderer has demonstrated that he is likely to murder: clearly, under the specific circumstances that actually occurred, he <em>did</em> murder. But the compatibilist looks at all of the relevant circumstancess to see if <em>at the time and </em><em>place of the act</em> there were circumstances - such as being threatened by the victim - that would have forced the hand of any reasonable person. Because people <em>respond</em> to them, we can use praise and blame to influence others to act for the benefit of society. Parents use blame and praise to teach children how to behave: for things such as intentionally poking someone in the eye, or taking the time to do a good job on one's homework. Laws and punishment for violating laws are necessary for a functioning society.<br /> <br /> These two camps don't really disagree with each other about the facts. They just disagreee about what words we should use to describe them. The compatibilists agree that we aren't the <em>ultimate</em> cause of our actions, they just don't happen to care about that. The incompatibilists agree that it's useful to act <em>as if</em> we have free will, as long as we recognize that it's an illusion. What they disagree about is which we should <em>call</em> "free will". The incompatibilists agree that we should influence others to behave in ways beneficial to society. The compatibilists aren't too concerened about making absolute "moral" judgments, and agree that we should treat people humanely. What they disagree about is which we should <em>call</em> "praise" and "blame".<br /> <br /> Of course I am oversimplifying both positions. Many people believe, for example, we <em>can</em> make absolute moral judgments, sometimes by reference to a deity (or deities). When people ask me what <em>I</em> believe, I ususally say that I am agnostic on free will, or that it depends on which definition you want to use. I agree with both camps, and I don't really care which words we elect to attach to which definitions, as long as we're clear about what we're trying to say. The two camps mostly agree with each other about the facts, though not always about what <em>conclusions</em> we should draw from them. The fight is more about the right to choose the "correct" meaning for words such as "free will," "cause", and "responsibility", because those words have emotional baggage attached to them that influence our thinking.<br /> <br /> <hr /> This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.<br /> See http://creativecommons.org/licenses/by-sa/4.0/</p> <div style='clear: both;'></div> </div> <div class='post-footer'> <p class='post-footer-line post-footer-line-1'><span class='post-comment-link'> <a class='comment-link' href='https://www.blogger.com/comment/fullpage/post/7803021/3685574365215268065' onclick=''>3 comments</a> </span> <span class='post-icons'> </span> <span class='post-backlinks post-comment-link'> </span> </p> <p class='post-footer-line post-footer-line-2'></p> <p class='post-footer-line post-footer-line-3'></p> </div> </div> </div> </div></div> <div class="date-outer"> <h2 class='date-header'><span>Tuesday, January 19, 2016</span></h2> <div class="date-posts"> <div class='post-outer'> <div class='post'> <a name='5583498637513369402'></a> <h3 class='post-title'> <a href='https://gafter.blogspot.com/2016/01/you-should-be-random-so-carry-dice.html'>You should be random, so carry dice!</a> </h3> <div class='post-header-line-1'></div> <div class='post-body'> <p>Why should you act in a random, unpredictable, or arbitrary way? It seems no rational adult would want to do that. But as we'll see, there are situations that arise in our lives — surprisingly often — where acting randomly is exactly the right thing to do.<br /> <div> <span style="font-family: inherit; font-size: small; font-weight: normal;"><br /> </span></div> <h2> What is random?</h2> <br /> What does <em>random</em> mean? By this we mean <em>unpredictable</em>. A <em>random variable</em> is some quantity that cannot be predicted in advance. A good example is the result of the roll of a six-sided die.<br /> <br /> <div align="center"> <img height="196" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_swlBrrtIJ8GtwR80H9E9Cn-jXYoueER71-cfB69G3oEksqIeI7mK7zd99I7sds6GzbF9QyMvdYInAnUChyUnWY6uvnchYbyFj8s4DFmmwSziug9hN4j2Uy9hEgC3PfQ-wwvQ=s0-d" width="200"></div> <br /> If randomness is useful at all (which is yet to be seen) then dice may be good enough for some purposes. But for others you might want something that is <em>truly</em> random: something that is impossible to predict <em>in principle</em>. Many <a href="https://en.wikipedia.org/wiki/Hardware_random_number_generator">modern computers</a> can produce random numbers. For the purposes of this essay we will pretend that dice are truly random.<br /> <br /> <h2> Acting randomly</h2> <br /> Would it make sense to act in a random manner? You'd be howling at the moon, bouncing off the walls, jumping through windows, and generally making a nuisance of yourself. We'd probably have to keep knives far away from you. We'd probably have to keep <em>people</em> far away from you! No, I think we agree that this is not the kind of random behavior any of us would want.<br /> <br /> <div align="center"> <img height="104" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tIux7fRTffwwSuIgHnJZ4BEWs7rte_tsarhDCybME7M9WCK2w5gAwaD6gVtEBrGxm4wKq1Ps5tV-ByOIGywzVKT7v_p4dMZ_lCbl30gwQEz-Yb-qUN3g=s0-d" width="200"></div> <br /> Perhaps it would make sense to act randomly <em>sometimes</em>. Perhaps there are specific, well-defined situations in your daily life where you would benefit from making some decision that cannot be predicted. Perhaps it makes sense to keep dice in your pocket.<br /> <br /> Philosophers have proven that this is impossible. Suppose you have a decision to make, and you want to make it rationally. If there is a rational reason to choose one option over the other, then that is, of course, what you should do. There would be no need to act randomly in that case. On the other hand if there is no rational reason to choose one option over the other, throwing dice would just be a waste of your time. You might as well just pick the <em>first</em> option, whichever that is. In either case, the dice would remain in your pocket. And since you will never use them, you might as well travel light and just leave them at home. Or at the game store. So philosophers have "proven" that we should never want to act randomly.<br /> <br /> <br /> <div align="center"> <img height="200" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uTqNVC8dNXR1rINQmCHtAb6LVYdki_P2xuTDYl8LU5wyUKjuS1MxpuYlEPnc-mNnXTv0fDrrW5XbP8y-1krtLHt2PN7Gahxk2cB6zZsiy_fQUH0SnKHT1AHrwxGC22pSCfGQ=s0-d" width="196"><br /> <br /> <div style="text-align: left;"> But philosophers are wrong.</div> <div style="text-align: left;"> <br /></div> </div> <h2> Board Games</h2> <br /> The most obvious time that you would <em>want</em> to act randomly is when you are playing a board game like <a href="http://www.amazon.com/gp/product/B00CV5PN2W/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=B00CV5PN2W&linkCode=as2&tag=wwwgafterco07-20&linkId=NLFIC66XQAUJ5EHV" rel="nofollow">Monopoly</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tGbKSb-7DKG3rJc24eHnvPZmjQjxhmx_b8B2_iVcOFxTDKbKzTQLdg_adIlQF5zsUf3xiJ_sbnbn8NL3BalpwWLe6umL1vzKh6qj3W6cuEaN94lP0LMRzA5RL7GFsBu1OELnNiIbZJZ9JVxNbDW6L39A=s0-d" style="border: none !important; margin: 0px !important;" width="1"> or <a href="http://www.amazon.com/gp/product/B003ZY70FG/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=B003ZY70FG&linkCode=as2&tag=wwwgafterco07-20&linkId=CY72YJVY7DOLVRFG" rel="nofollow">Backgammon</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sZsLk4IRG4KqrZH_JAUYi33wut4aRZOPAm4EZQgiU2bRAo3-Fhldfaw-Kl53vNP4V2fm8xscuAKD0rVloH2VHr41Ohg7PciMgbeffDK6aT-vfEHKl_3jdhl5gTZokUGZFvt7lECEAp23Jlw7WqNnbo_uU=s0-d" style="border: none !important; margin: 0px !important;" width="1">. The rules of the game require it. You simply cannot play these games without rolling dice and basing your actions on the outcome. Admittedly, this is a trivial example. Are there serious situations where rolling dice <em>would help us in our daily lives</em>? Yes, there are.<br /> <br /> <div align="center"> <img height="200" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sdv6Hk1AFkPyko0Ib3KlY67eOaHh1llz3iE3FPWGkk3CYJVs_a4bYBtzhFdGvw7mAzavAk4ggcHQ8CcxmOz4BHBXASuge8cw_sMxZ421dbHtzV0BPfdzfxL90NUZeWymzjmSX7GlJeDFvXVIgwJgg9P4mk=s0-d" width="200"><br /> <br /></div> <h2> Shopping for toothpaste</h2> <br /> Imagine that you are shopping for <a href="http://www.amazon.com/gp/search/ref=as_li_qf_sp_sr_tl?ie=UTF8&camp=1789&creative=9325&index=aps&keywords=toothpaste&linkCode=ur2&tag=wwwgafterco07-20&linkId=CZSKHHE6VADUFHLM" target="_blank">toothpaste</a><img alt="" border="0" height="1" src="https://ir-na.amazon-adsystem.com/e/ir?t=wwwgafterco07-20&l=ur2&o=1" style="border: none !important; margin: 0px !important;" width="1" />. You go to the corner store and head down the toothpaste aisle. There are hundreds of brands to choose from. Every one of them is different from every other in some way. Every advertised feature <em>seems</em> relevant. Extra flouride? Whitening? Tartar control? Baking soda? Do you care what sweetener is used, or even if a sweetener is used at all? There are dozens of flavors. How will you make a rational selection? Surely, unless you inspect each and every choice, it seems impossible that you will select the <em>optimal</em> choice.<br /> <br /> <div align="center"> <img height="239" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiEouqGKA1D0rnGvcupxJSEpM8rk1tG_sl-_LtXaPtzZ8CZZQlbqQeJfdWBd4-dzwRtB-KlZiVYZdNkmSehGwTpnKvUVQstcz8IZXLKzQYgPHaFDb1LJLYUFbh-cIcxQ1iWihakRw/s320/supermarket-1229077246.jpg" width="320" /><br /> <br /> <div style="text-align: left;"> This is a difficult problem. If you only have fifteen minutes to make your selection, you might not be able to make the <i>optimial </i>choice. You could spend your fifteen minutes gathering what information you can, and return at a later time (or several times) to complete the job. In the meantime you'll just have to settle for having bad breath and not caring for your teeth. No, that doesn't sound like a very attractive option. Perhaps you should just get the same brand that you got last time - even though you aren't really very happy with it. Difficult.</div> <br /> <div style="text-align: left;"> This is so serious and common a problem that it has been extensively studied. <a href="https://en.wikipedia.org/wiki/Overchoice"><em>Overchoice</em>, also referred to as <em>"choice overload"</em></a>, describes a cognitive process in which philosophers have a difficult time making a decision when faced with many options. <a href="https://en.wikipedia.org/wiki/Overchoice">From Wikipedia</a>:</div> <div style="text-align: left;"> <br /></div> </div> <blockquote> The phenomenon of <em>overchoice</em> occurs when many equivalent choices are available. Making a decision becomes overwhelming due to the many potential outcomes and risks that may result from making the wrong choice. Having too many [approximately] equally good options is mentally draining because each option must be weighed against alternatives to select the best one. As the number of choices increases, people tend to feel more pressure, confusion, and potentially dissatisfaction with their choice. Although larger choice sets can be initially appealing, smaller choice sets lead to increased satisfaction and reduced regret. Another component of overchoice is the perception of time. Extensive choice sets can seem even more difficult with a limited time constraint.</blockquote> Fortunately, those of us who carry dice have an easy solution to this problem. Here is what you do. First, roll a die. If the result is any number one through five, just buy your favorite brand from among all those that you have previously tried. If the die shows a six, use your dice again to select a small random sampling from among all of the available choices. Two or three choices will do. Then look at those and if any of them seem plausible alternatives — if one might be your new favorite if only you had the chance to try it — then buy the best from among that small selection. If none of them seem likely, just buy your old favorite.<br /> <br /> This strategy doesn't guarantee that you will get the <em>optimal</em> choice. But it does give you a very good chance of selecting a <em>nearly optimal</em> choice. Over time you will be more and more satisfied with the toothpaste that you end up using because you will be trying new ones from time to time. As the toothpaste industry produces new innovations, you will find yourself enjoying them. Most importantly, it reduces the amount of time you spend selecting toothpaste, leaving you more time for important choices, such as <a href="http://www.amazon.com/gp/search/ref=as_li_qf_sp_sr_tl?ie=UTF8&camp=1789&creative=9325&index=aps&keywords=ice%20cream%20ben%20jerry&linkCode=ur2&tag=wwwgafterco07-20&linkId=CSO5XAZ76UVS5WRH" target="_blank">Ice Cream</a><img alt="" border="0" height="1" src="https://ir-na.amazon-adsystem.com/e/ir?t=wwwgafterco07-20&l=ur2&o=1" style="border: none !important; margin: 0px !important;" width="1" />.<br /> <br /> Now you know why philosophers have bad breath. It is because they do not carry dice.<br /> <br />  <br /> <h2> The narrow bridge problem</h2> <br /> Consider a two lane road that has one lane running in each direction. There is a place where the road narrows to a single lane to go over a bridge. Traffic on this road is not very heavy, and visibility is good, so there is no traffic signal. The obvious thing is to enter the bridge only when there is no traffic heading in the opposite direction. But what if two cars arrive at opposite ends of the bridge at about the same time? Each can wait for the other, but then they will both wait forever. Each can try going, and then back off if the other does the same. But then they will be going and backing off again and again, forever. <br /> <br /> <div align="center"> <img height="171" src="https://upload.wikimedia.org/wikipedia/commons/0/04/NARROW_BRIDGE.png" width="200" /> <br /> <div style="text-align: left;"> <br /> Philosphers have specified that the drivers are to exit their vehicles, meet in the middle of the bridge, and play <a href="http://www.amazon.com/gp/product/B002SJE3JU/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=B002SJE3JU&linkCode=as2&tag=wwwgafterco07-20&linkId=47NA7FJDTGFP2T7R" rel="nofollow">chess</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_ucWSY65GnRTbZjZ8dS57LIiTO9GzHcYxXckX9MBmttP_n36-0dck4YtFBkQntP7A97YKtm1vhItRnJg07iB2PIZVRSQMPr_xizwkNGU5JF4at6tIRVy2UySUBXEmr_HCZ8kuxDljqpOv8_qmYcyBVkyA=s0-d" style="border: none !important; margin: 0px !important;" width="1"> until one of them has won a game. The winning driver is entitled to cross the bridge first. Philosophers find this a just solution, as it gives an advantage based only on the driver's ability to apply logic. Unfortunately, philosophers are perfect chess players. When they play each other, they always reach a stalemate.<br /> <br /></div> <div style="text-align: left;"> </div> <div style="text-align: left;"> The local engineers have devised a different solution. When you reach the bridge, you stop and roll a die. You then wait a number of minutes indicated by the number on the die. Then you enter the bridge. If you encounter another car on the bridge, you back out to the beginning and try again. This is the purpose for the <a href="http://www.amazon.com/gp/product/B004M06BRA/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=B004M06BRA&linkCode=as2&tag=wwwgafterco07-20&linkId=L2F6JTFKTTORFRDP" rel="nofollow">fuzzy dice</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vXGzKw3JadYFHtdt8slWHNEXnI322iYuwH0GozWRS2ARF5DzcRIMT2HEX7BZsrJc3imshz3T0W1XU4tVKNk6QLEutFUeVmAjxLPefra1xm_ouVuDjSkJhpf4VMsx5VMYAmFKR_INQl1ghjM_LUXij3xeA=s0-d" style="border: none !important; margin: 0px !important;" width="1"> hanging from the rear-view mirror of many cars.</div> <div style="text-align: left;"> </div> <div style="text-align: left;"> <br /> A more familiar example occurs when cars reach an intersection in which there is a stop sign for each of the four roads entering the intersection. It is customary — in fact a <a href="https://en.wikipedia.org/wiki/Priority_to_the_right">requirement under the law</a> — that if you arrive at the intersection around the same time as another car on the cross street, the car to the right goes first. This works fine except when cars arrive <em>on all four roads</em>. In that case obeying the rule, even though mandated by law, would lead to deadlock. That is when the procedure used on the bridge works very well.</div> <div style="text-align: left;"> </div> <div style="text-align: left;"> <br /> Now you know why philosophers do not drive. It is because they do not carry dice. <br /> <br /></div> </div> <h2> The Scientific Method</h2> <br /> There are applications in science where the intentional use of randomness is necessary to the proper conduct of an experiment. Chief among them is the <em>double-blind trial</em>. This is an especially stringent way of conducting an experiment that eliminates subjective bias both on the part of the scientist and on the part of the subject of the experiment. Double-blind studies are frequently used to test drugs for their effectiveness. It is the gold standard for scientific rigor. <br /> <br /> <div align="center"> <img height="228" src="https://bodymindandbrain.com.au/wp-content/uploads/DoubleBlind.jpg" width="320" /> <br /> <div style="text-align: left;"> <br /> In order to conduct a double-blind study, a population of test subjects is divided into two groups: those who will receive the drug to be tested, and those who will receive a placebo in its place. The subjects are assigned to one or the other group <em>randomly</em>. Neither the scientific investigator nor the test subjects know who is in which group. It is only after the outcome has been evaluated for all test subjects does it become known to the investigator which was which. Consequently, there is no opportunity for any bias to arise due to such knowledge.</div> <div style="text-align: left;"> </div> <div style="text-align: left;"> Now you know why philosophers do not conduct scientific experiments. It is because they do not carry dice. <br /> <br /></div> </div> <h2> Game theory</h2> <br /> Even if you playing a "deterministic" game like Chess, there may be value in making some choices randomly. As when selecting toothpaste, you usually cannot select the <em>optimal</em> move because you are operating under a time constraint. A technique called <a href="https://en.wikipedia.org/wiki/Monte_Carlo_tree_search"><em>Monto Carlo Game Tree Search</em></a>, which uses randomness in selecting moves to consider, has resulted in a revolution in the quality of computer play for <a href="https://en.wikipedia.org/wiki/Go_(game)"><em>Go</em></a>, a board game that is widely played in Korea, Japan, and China.<br /> <br /> Consider the game <a href="https://en.wikipedia.org/wiki/Rock-paper-scissors"><em>rock-paper-scissors</em></a>. What if you want an <em>optimal</em> strategy, or procedure, for playing the game? What we mean by "optimal" is that there is no <em>other</em> strategy that has a winning edge over it, in the long run. There is a field of mathematics called <a href="https://en.wikipedia.org/wiki/Game_theory"><em>game theory</em></a> that studies games, and the game rock-paper-scissors is well understood. One strategy is to choose "rock", "paper", or "scissors" randomly, and it has been proven, formally, that this is an optimal strategy. It has also been proven that any optimal strategy for rock-paper-scissors must, necessarily, use randomness. In fact many games require randomness to be played optimally. <br /> <br /> <div align="center"> <img height="184" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_venEl4pV2sJsT4xbyOpP__QWWhClm8koqYd1dD8j5tBu6E0Lf62nDKTIdFyUkxVmpoErl-R3HTrnkhVtlELES0EX4lgi2wUm5e5N9UBJc1alID6WQCfzH3kh3MtJEBgTdJsMci9q9hLiS3oRmJXOGH0zYs_WRP0L-AkxBKj6RNhsTd6Ajt3qNZpM-EgsF8TCg9ZOi7fJtIPVHskbuCNimMS37pxsHlqbOdsKU=s0-d" width="320"> <br /> <div style="text-align: left;"> <br /> Game theory has wide applications in the real world, including war strategy, political science, economics, and negotiation. Now you know why philosophers are not rich. It is because they do not carry dice.</div> <div style="text-align: left;"> <br /></div> </div> <h2> Conclusion</h2> <br /> How can the philosophers have been so wrong? After all, didn't they <em>prove</em> that basing a decision on the roll of the dice is irrational? Yes, but they made a hidden assumption: that the decision is a one-time decision made in isolation. If you only have one decision to make in your whole life, the philosophers may have been right. But most decisions we make are part of a <em>series of decisions</em>, and the logic that the philosophers used does not work in that case. When we have a series of decisions to make, we need a <em>strategy</em> for making them, and it has been shown that randomness is a necessary part of the strategy for many problems.<br /> <br /> While it seems that basing your behavior on the roll of the dice might be irrational, there are situations that arise every day where it is the most rational thing to do. Those people who refuse to do so are systematically weeding themselves out of the human gene pool. Don't be one of them. Carry <a href="http://www.amazon.com/s/?_encoding=UTF8&camp=1789&creative=9325&field-keywords=dice&linkCode=ur2&tag=wwwgafterco07-20&url=search-alias%3Daps&linkId=47DZATNCJ4QD57DC" rel="nofollow" target="_blank">dice</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tCOPSP36NE9roYBfFLc8PwEeYMs4B5sTdhJx2RTauMVDFTxXWAeBL-Z4Sk7xYbwf7gpbJ6KD3BRq_z-aWIKf7_fmhsDWrUhJu91YyfxGQ6cNq_pTpV9A60jG1O-rCrCBYt2FOS=s0-d" style="border: none !important; margin: 0px !important;" width="1">. <br /> <br /> <br /> <hr /> <span style="font-size: x-small;">"View source" and search for "Dining Philosophers" to find out why philosophers are hungry.</span> <br /> This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.<br /> See http://creativecommons.org/licenses/by-sa/4.0/<br /> <br /></p> <div style='clear: both;'></div> </div> <div class='post-footer'> <p class='post-footer-line post-footer-line-1'><span class='post-comment-link'> <a class='comment-link' href='https://www.blogger.com/comment/fullpage/post/7803021/5583498637513369402' onclick=''>4 comments</a> </span> <span class='post-icons'> </span> <span class='post-backlinks post-comment-link'> </span> </p> <p class='post-footer-line post-footer-line-2'></p> <p class='post-footer-line post-footer-line-3'></p> </div> </div> </div> </div></div> <div class="date-outer"> <h2 class='date-header'><span>Tuesday, January 12, 2016</span></h2> <div class="date-posts"> <div class='post-outer'> <div class='post'> <a name='2635564681661758163'></a> <h3 class='post-title'> <a href='https://gafter.blogspot.com/2016/01/feynman-on-philosophy-of-science.html'>Feynman on Philosophy of Science</a> </h3> <div class='post-header-line-1'></div> <div class='post-body'> <p>This is one of my favorite Feynman quotes, from <a href="http://www.amazon.com/gp/product/0465023827/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0465023827&linkCode=as2&tag=wwwgafterco07-20&linkId=LXJ6BDUQRUO3AJF6" rel="nofollow">The Feynman Lectures on Physics</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sIWjaKKFVJEGojnyciF12jyj2ssjU0SwELQxY23nY19rrEdSkJZQwomtgdMYL-MNl4k4C2pggeRGUKWOFed1bx3iNALqJ1qMJr80XQ8cKZK9uB44p-cHqlAkgDf5CHQ0YkOByIpRheEQZNtuxFMy8BaQ=s0-d" style="border: none !important; margin: 0px !important;" width="1"><br /> (Volume 1 page 2-6)<br /> <br /> <blockquote> Another most interesting change in the ideas and philosophy of science brought about by quantum mechanics is this: it is not possible to predict <em>exactly</em> what will happen in any circumstance. For example, it is possible to arrange an atom which is ready to emit light, and we can measure when it has emitted light by picking up a photon particle[...]. We cannot, however, predict <em>when</em> it is going to emit the light or, with several atoms, <em>which one</em> is going to. You may say that this is because there are some internal "wheels" [variables] which we have not looked at closely enough. No, there <em>are</em> no internal wheels; nature, as we understand it today, behaves in such a way that it is <em>fundamentally impossible</em> to make a precise prediction of <em>exactly what will happen</em> in a given experiment. This is a horrible thing; in fact, philosophers have said before that one of the fundamental requisites of science is that whenever you set up the same conditions, the same thing must happen. This is simply <em>not true</em>, it is <em>not</em> a fundamental condition of science. The fact is that the same thing does not happen, that we can find only an average, statistically, as to what happens. Nevertheless, science has not completely collapsed. Philosophers, incidentally, say a great deal about what is <em>absolutely necessary</em> for science, and it is always, so far as one can see, rather naive, and probably wrong. For example, some philosopher or other said it is fundamental to the scientific effort that if an experiment is performed in, say Stockholm, and then the same experiment is done in, say, Quito, the <em>same results</em> must occur. That is quite false. It is not necessary that <em>science</em> do that; it may be a <em>fact of experience</em>, but it is not necessary. For example, if one of the experiments is to look out at the sky and see the aurora borealis in Stockholm, you do not see it in Quito[...]. "But," you say, "that is something that has to do with the outside; can you close yourself up in a box in Stockholm and pull down the shade and get any difference?" Surely. If we take a pendulum on a universal joint, and pull it out and let go, then the pendulum will swing almost in a plane, but not quite. Slowly the plane keeps changing in Stockholm, but not in Quito. The blinds are down, too. The fact that this happened does not bring on the destruction of science. What <em>is</em> the fundamental hypothesis of science, the fundamental philosophy? [...] <em>the sole test of the validity of any idea is experiment</em>. If it turns out that most experiments work out the same in Quito as they do in Stockholm, then those "most experiments" will be used to formulate some general law, and those experiments which do not come out the same we will say were the result of the environment near Stockholm. We will invent some way to summarize the results of the experiment, and we do not have to be told ahead of time what this way will look like. If we are told that the same experiment will always produce the same result, that is all very well, but if when we try it, it does <em>not</em>, then it does <em>not</em>. We just have to take what we see, and then formulate all the rest of our ideas in terms of our actual experience.</blockquote> </p> <div style='clear: both;'></div> </div> <div class='post-footer'> <p class='post-footer-line post-footer-line-1'><span class='post-comment-link'> <a class='comment-link' href='https://www.blogger.com/comment/fullpage/post/7803021/2635564681661758163' onclick=''>0 comments</a> </span> <span class='post-icons'> </span> <span class='post-backlinks post-comment-link'> </span> </p> <p class='post-footer-line post-footer-line-2'></p> <p class='post-footer-line post-footer-line-3'></p> </div> </div> </div> </div></div> <div class="date-outer"> <h2 class='date-header'><span>Saturday, January 09, 2016</span></h2> <div class="date-posts"> <div class='post-outer'> <div class='post'> <a name='1251984278090200843'></a> <h3 class='post-title'> <a href='https://gafter.blogspot.com/2016/01/the-many-worlds-interpretation-is.html'>The Many-Worlds Interpretation is a realist interpretation of the universe, but not a realist interpretation of the world.</a> </h3> <div class='post-header-line-1'></div> <div class='post-body'> <p>The <a href="https://en.wikipedia.org/wiki/Many-worlds_interpretation"><em>Many Worlds Interpretation (MWI)</em></a> is a deterministic, realist interpretation of quantum mechanics (QM). MWI starts with <a href="http://www.preposterousuniverse.com/blog/2015/02/19/the-wrong-objections-to-the-many-worlds-interpretation-of-quantum-mechanics/">two postulates</a><br /> <ol> <li>The universe is described by a quantum state, which is an element of a kind of vector space known as Hilbert space.<br /> </li> <li>The quantum state evolves through time in accordance with the Schr枚dinger equation, with some particular Hamiltonian.<br /> </li> </ol> From the point of view of MWI, the quantum state of the universe (also known as the Universal Wave Function) is the thing that is "real". It evolves in a locally deterministic way. <br /> <br /> What happened to the "other worlds"? Why is it even called the "many worlds" interpretation? Other worlds are not <em>postulated</em> by MWI, rather they <a href="http://www.preposterousuniverse.com/blog/2014/06/30/why-the-many-worlds-formulation-of-quantum-mechanics-is-probably-correct/">arise naturally from an understanding of the behavior of the system based on just the two things we do postulate</a>. And what about "<a href="https://en.wikipedia.org/wiki/Quantum_decoherence">decoherence</a>"? <br /> <br /> In MWI, <em>decoherence</em> is said to occur when the phase angle between components of the quantum state are sufficiently orthogonal that, for practical purposes, they do not exhibit interference. The fact that this occurs is a consequence of the underlying math. This happens naturally when information about quantum interactions (e.g. the result of a quantum experiment) spreads into the environment through further interactions (e.g. because the result is displayed on the measurement instrument, and photons from the instrument's display reach the experimenter's eyes, the walls, etc). Once that occurs, we can analyze the orthogonal components of the quantum state in isolation. These orthogonal components can be interpreted as independent worlds, or alternative futures of the world, each representing the future following one possible outcome of the interaction (e.g. measured result). <br /> <br /> In practice the phase angles are never <em>completely</em> orthogonal, because the spread of information into the environment is limited by the speed of light; there are sufficiently distant regions of the universe where the components <em>may</em> interact. So the meaning of decoherence is interpretational: it depends on what we mean by "sufficiently orthogonal" and what the "practical purposes" are. If we are only interested in what happens in our experimental laboratory, the behavior of distant reaches of the universe in the distant future can be treated as irrelevant. <br /> <br /> This is no different from saying that, for sufficiently small velocities, mechanical systems obey classical rather than relativistic behavior. What is "sufficiently small"? It depends on the context. Nature does not care what we mean by sufficiently small, it always obeys the relativistic rules. But the concept of classical behavior allows us to simplify our calculations (at the expense of introducing a small inaccuracy) to improve our understanding of the system. <br /> <br /> So it is for decoherence. It is not a term that is rigidly defined in the theory, but (like "non-relativistic velocity") is rather a concept for a simplifying assumption that we use to understand the behavior of the quantum state. Decoherence cannot properly be said to occur at some particular time, like quantum collapse in the <a href="https://en.wikipedia.org/wiki/Copenhagen_interpretation">Copenhagen interpretation</a>. It is not an "event that happens", but rather a change in the way we interpret the meaning of the quantum state from one time to another. <br /> <br /> One accepts MWI <a href="http://www.projects.science.uu.nl/igg/jos/foundQM/qm_reality.pdf">at the expense of rejecting objective reality as we know it</a>. When we open the box to see whether Schr枚dinger's cat is alive or dead, we become entangled with the cat's quantum state. If we see that the cat is alive (as we hope), we cannot say that the cat's status of being alive is a fundamentally <em>true</em> fact about the universe. Rather in the quantum state of the universe, there are nearly orthogonal components that can be interpreted as two versions of our world, one in which we observe the cat being dead, and one in which we observe a living cat. One of them <em>feels</em> more real, somehow, but each component describes a version of us who thinks it is he who is observing the <em>true</em> world. MWI doesn't designate one of these components as somehow more real than the other, and thus we can think of them as separate worlds, or futures. <br /> <blockquote cite="http://www.amazon.com/gp/product/0754655180/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0754655180&linkCode=as2&tag=wwwgafterco07-20&linkId=NMMSRF2EDGVIHAAC"> [MWI] predicts that we will <em>think</em> and <em>claim</em>, that we do not observe superpositions at all, even when our own states are highly indefinite, and that we are simply mistaken in the belief that we see a particular outcome or other. That is, it preserves unitary [deterministic] QM – at the expense of a skepticism that "makes Descartes’s demon and other brain-in-the-vat stories look like wildly optimistic appraisals of our epistemic situation" [<em><a href="http://www.amazon.com/gp/product/0754655180/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0754655180&linkCode=as2&tag=wwwgafterco07-20&linkId=NMMSRF2EDGVIHAAC" rel="nofollow">The Ashgate Companion to Contemporary Philosophy of Physics</a><img alt="" border="0" height="1" src="https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uci6RqEogoC5A0aeU3ZuNBCDY8xbh6cS28-RYBW_qEKilchu9yqXBJfZmxKw5GM7RJI96Tz8wjHZfw9FJlR6fEsdGDR3LlV8cL8iKwH_-WBsGK-0QJVDFlvukEx2CY_D5MloN1UmTx5lcJ4KbX2T6JoF8=s0-d" style="border: none !important; margin: 0px !important;" width="1"></em> page 43]</blockquote> This is like Einstein's principle of relativity in another way, too. In MWI, the meaning of the world is relative to the observer. If you ask whether the cat is alive or dead as a property of the universe, the simple answer is that the cat is in an indefinite state. To give a more definite answer we would need to know which (mostly) orthogonal component of the quantum state you're asking about. Which world did you mean?</p> <div style='clear: both;'></div> </div> <div class='post-footer'> <p class='post-footer-line post-footer-line-1'><span class='post-comment-link'> <a class='comment-link' href='https://www.blogger.com/comment/fullpage/post/7803021/1251984278090200843' onclick=''>17 comments</a> </span> <span class='post-icons'> </span> <span class='post-backlinks post-comment-link'> </span> </p> <p class='post-footer-line post-footer-line-2'></p> <p class='post-footer-line post-footer-line-3'></p> </div> </div> </div> </div></div> </div> <div class='blog-pager' id='blog-pager'> <span id='blog-pager-newer-link'> <a class='blog-pager-newer-link' href='https://gafter.blogspot.com/search?updated-max=2019-08-14T10:44:00-07:00&max-results=2&reverse-paginate=true' id='Blog1_blog-pager-newer-link' title='Newer Posts'>Newer Posts</a> </span> <span id='blog-pager-older-link'> <a class='blog-pager-older-link' href='https://gafter.blogspot.com/search?updated-max=2016-01-09T16:25:00-08:00&max-results=2' id='Blog1_blog-pager-older-link' title='Older Posts'>Older Posts</a> </span> <a class='home-link' href='https://gafter.blogspot.com/'>Home</a> </div> <div class='clear'></div> <div class='blog-feeds'> <div class='feed-links'> Subscribe to: <a class='feed-link' href='https://gafter.blogspot.com/feeds/posts/default' target='_blank' type='application/atom+xml'>Posts (Atom)</a> </div> </div> </div></div> </div> <div id='sidebar-wrapper'> <div class='sidebar section' id='sidebar'><div class='widget BlogArchive' data-version='1' id='BlogArchive1'> <h2>Blog Archive</h2> <div class='widget-content'> <div id='ArchiveList'> <div id='BlogArchive1_ArchiveList'> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2024/'> 2024 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2024/09/'> September </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2023/'> 2023 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2023/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2020/'> 2020 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2020/12/'> December </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2019/'> 2019 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2019/11/'> November </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2019/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2017/'> 2017 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2017/06/'> June </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate expanded'> <a class='toggle' href='javascript:void(0)'> <span class='zippy toggle-open'> ▼  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2016/'> 2016 </a> <span class='post-count' dir='ltr'>(7)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2016/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate expanded'> <a class='toggle' href='javascript:void(0)'> <span class='zippy toggle-open'> ▼  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2016/01/'> January </a> <span class='post-count' dir='ltr'>(6)</span> <ul class='posts'> <li><a href='https://gafter.blogspot.com/2016/01/ok-so-you-donot-have-free-will-so-what.html'>OK, so you do/not have free will. So what?</a></li> <li><a href='https://gafter.blogspot.com/2016/01/proof-that-we-have-free-will-and-dont.html'>Proof That We Have Free Will. And Don't Have Free ...</a></li> <li><a href='https://gafter.blogspot.com/2016/01/free-will-is-false-dilemma.html'>Free Will is a False Dilemma</a></li> <li><a href='https://gafter.blogspot.com/2016/01/you-should-be-random-so-carry-dice.html'>You should be random, so carry dice!</a></li> <li><a href='https://gafter.blogspot.com/2016/01/feynman-on-philosophy-of-science.html'>Feynman on Philosophy of Science</a></li> <li><a href='https://gafter.blogspot.com/2016/01/the-many-worlds-interpretation-is.html'>The Many-Worlds Interpretation is a realist interp...</a></li> </ul> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2015/'> 2015 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2015/12/'> December </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2014/'> 2014 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2014/11/'> November </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2010/'> 2010 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2010/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2010/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2009/'> 2009 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2009/03/'> March </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2009/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/'> 2008 </a> <span class='post-count' dir='ltr'>(4)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/03/'> March </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/01/'> January </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/'> 2007 </a> <span class='post-count' dir='ltr'>(18)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/12/'> December </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/11/'> November </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/10/'> October </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/07/'> July </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/05/'> May </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/04/'> April </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/03/'> March </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/01/'> January </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/'> 2006 </a> <span class='post-count' dir='ltr'>(20)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/12/'> December </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/11/'> November </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/10/'> October </a> <span class='post-count' dir='ltr'>(3)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/09/'> September </a> <span class='post-count' dir='ltr'>(5)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/08/'> August </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2005/'> 2005 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2005/02/'> February </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2004/'> 2004 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2004/09/'> September </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> </div> </div> <div class='clear'></div> </div> </div><div class='widget Profile' data-version='1' id='Profile1'> <h2>About Me</h2> <div class='widget-content'> <dl class='profile-datablock'> <dt class='profile-data'> <a class='profile-name-link g-profile' href='https://www.blogger.com/profile/08579466817032124881' rel='author' style='background-image: url(//www.blogger.com/img/logo-16.png);'> Neal Gafter </a> </dt> <dd class='profile-textblock'>Neal Gafter is a Computer Programming Language Designer and Implementer, Amateur Scientist and Philosopher. He works on the Rel compiler at Relational.AI. He previously worked for Microsoft on C#, for Google on Calendar, and for Sun Microsystems on Java. Neal was granted an OpenJDK Community Innovators' Challenge award for his design and implementation of lambda expressions for Java. He is coauthor of <em>Java Puzzlers: Traps, Pitfalls, and Corner Cases</em> (Addison Wesley, 2005). He was a member of the C++ Standards Committee and led the development of C and C++ compilers at Sun Microsystems, Microtec Research, and Texas Instruments. He holds a Ph.D. in computer science from the University of Rochester.</dd> </dl> <a class='profile-link' href='https://www.blogger.com/profile/08579466817032124881' rel='author'>View my complete profile</a> <div class='clear'></div> </div> </div></div> </div>  <div class='clear'> </div> </div>  <div id='footer-wrapper'> <div class='footer no-items section' id='footer'></div> </div> </div></div>  <script src="//www.google-analytics.com/urchin.js" type="text/javascript"> </script> <script type='text/javascript'> _uacct = "UA-605497-1"; urchinTracker(); </script> <script type="text/javascript" src="https://www.blogger.com/static/v1/widgets/3704019819-widgets.js"></script> <script type='text/javascript'> window['__wavt'] = 'AOuZoY4GKu_FeUrWSCQx7sxvC7dRMVRkiw:1733911508597';_WidgetManager._Init('//www.blogger.com/rearrange?blogID\x3d7803021','//gafter.blogspot.com/2016/01/','7803021'); _WidgetManager._SetDataContext([{'name': 'blog', 'data': {'blogId': '7803021', 'title': 'Neal Gafter\x27s blog', 'url': 'https://gafter.blogspot.com/2016/01/', 'canonicalUrl': 'http://gafter.blogspot.com/2016/01/', 'homepageUrl': 'https://gafter.blogspot.com/', 'searchUrl': 'https://gafter.blogspot.com/search', 'canonicalHomepageUrl': 'http://gafter.blogspot.com/', 'blogspotFaviconUrl': 'https://gafter.blogspot.com/favicon.ico', 'bloggerUrl': 'https://www.blogger.com', 'hasCustomDomain': false, 'httpsEnabled': true, 'enabledCommentProfileImages': true, 'gPlusViewType': 'FILTERED_POSTMOD', 'adultContent': false, 'analyticsAccountNumber': '', 'encoding': 'UTF-8', 'locale': 'en', 'localeUnderscoreDelimited': 'en', 'languageDirection': 'ltr', 'isPrivate': false, 'isMobile': false, 'isMobileRequest': false, 'mobileClass': '', 'isPrivateBlog': false, 'isDynamicViewsAvailable': false, 'feedLinks': '\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22Neal Gafter\x26#39;s blog - Atom\x22 href\x3d\x22https://gafter.blogspot.com/feeds/posts/default\x22 /\x3e\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/rss+xml\x22 title\x3d\x22Neal Gafter\x26#39;s blog - RSS\x22 href\x3d\x22https://gafter.blogspot.com/feeds/posts/default?alt\x3drss\x22 /\x3e\n\x3clink rel\x3d\x22service.post\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22Neal Gafter\x26#39;s blog - Atom\x22 href\x3d\x22https://www.blogger.com/feeds/7803021/posts/default\x22 /\x3e\n', 'meTag': '', 'adsenseHostId': 'ca-host-pub-1556223355139109', 'adsenseHasAds': false, 'adsenseAutoAds': false, 'boqCommentIframeForm': true, 'loginRedirectParam': '', 'view': '', 'dynamicViewsCommentsSrc': '//www.blogblog.com/dynamicviews/4224c15c4e7c9321/js/comments.js', 'dynamicViewsScriptSrc': '//www.blogblog.com/dynamicviews/64fba25a9e2c60bd', 'plusOneApiSrc': 'https://apis.google.com/js/platform.js', 'disableGComments': true, 'interstitialAccepted': false, 'sharing': {'platforms': [{'name': 'Get link', 'key': 'link', 'shareMessage': 'Get link', 'target': ''}, {'name': 'Facebook', 'key': 'facebook', 'shareMessage': 'Share to Facebook', 'target': 'facebook'}, {'name': 'BlogThis!', 'key': 'blogThis', 'shareMessage': 'BlogThis!', 'target': 'blog'}, {'name': 'X', 'key': 'twitter', 'shareMessage': 'Share to X', 'target': 'twitter'}, {'name': 'Pinterest', 'key': 'pinterest', 'shareMessage': 'Share to Pinterest', 'target': 'pinterest'}, {'name': 'Email', 'key': 'email', 'shareMessage': 'Email', 'target': 'email'}], 'disableGooglePlus': true, 'googlePlusShareButtonWidth': 0, 'googlePlusBootstrap': '\x3cscript type\x3d\x22text/javascript\x22\x3ewindow.___gcfg \x3d {\x27lang\x27: \x27en\x27};\x3c/script\x3e'}, 'hasCustomJumpLinkMessage': false, 'jumpLinkMessage': 'Read more', 'pageType': 'archive', 'pageName': 'January 2016', 'pageTitle': 'Neal Gafter\x27s blog: January 2016'}}, {'name': 'features', 'data': {}}, {'name': 'messages', 'data': {'edit': 'Edit', 'linkCopiedToClipboard': 'Link copied to clipboard!', 'ok': 'Ok', 'postLink': 'Post Link'}}, {'name': 'template', 'data': {'name': 'custom', 'localizedName': 'Custom', 'isResponsive': false, 'isAlternateRendering': false, 'isCustom': true}}, {'name': 'view', 'data': {'classic': {'name': 'classic', 'url': '?view\x3dclassic'}, 'flipcard': {'name': 'flipcard', 'url': '?view\x3dflipcard'}, 'magazine': {'name': 'magazine', 'url': '?view\x3dmagazine'}, 'mosaic': {'name': 'mosaic', 'url': '?view\x3dmosaic'}, 'sidebar': {'name': 'sidebar', 'url': '?view\x3dsidebar'}, 'snapshot': {'name': 'snapshot', 'url': '?view\x3dsnapshot'}, 'timeslide': {'name': 'timeslide', 'url': '?view\x3dtimeslide'}, 'isMobile': false, 'title': 'Neal Gafter\x27s blog', 'description': 'Thoughts about Programming Languages, Science and Philosophy.', 'url': 'https://gafter.blogspot.com/2016/01/', 'type': 'feed', 'isSingleItem': false, 'isMultipleItems': true, 'isError': false, 'isPage': false, 'isPost': false, 'isHomepage': false, 'isArchive': true, 'isLabelSearch': false, 'archive': {'year': 2016, 'month': 1, 'rangeMessage': 'Showing posts from January, 2016'}}}]); _WidgetManager._RegisterWidget('_NavbarView', new _WidgetInfo('Navbar1', 'navbar', document.getElementById('Navbar1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HeaderView', new _WidgetInfo('Header1', 'header', document.getElementById('Header1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogView', new _WidgetInfo('Blog1', 'main', document.getElementById('Blog1'), {'cmtInteractionsEnabled': false, 'lightboxEnabled': true, 'lightboxModuleUrl': 'https://www.blogger.com/static/v1/jsbin/2385764300-lbx.js', 'lightboxCssUrl': 'https://www.blogger.com/static/v1/v-css/1964470060-lightbox_bundle.css'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogArchiveView', new _WidgetInfo('BlogArchive1', 'sidebar', document.getElementById('BlogArchive1'), {'languageDirection': 'ltr', 'loadingMessage': 'Loading\x26hellip;'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_ProfileView', new _WidgetInfo('Profile1', 'sidebar', document.getElementById('Profile1'), {}, 'displayModeFull')); </script> </body> </html>