{"id":1800,"date":"2016-02-17T00:21:22","date_gmt":"2016-02-17T08:21:22","guid":{"rendered":"http:\/\/zackmdavis.net\/blog\/?p=1800"},"modified":"2016-02-17T00:21:22","modified_gmt":"2016-02-17T08:21:22","slug":"missing-refutations","status":"publish","type":"post","link":"http:\/\/zackmdavis.net\/blog\/2016\/02\/missing-refutations\/","title":{"rendered":"Missing Refutations"},"content":{"rendered":"<p>It <a href=\"https:\/\/github.com\/swiftstack\/Chesswork\/commit\/681085b3\">looks like<\/a> the opposing all-human team is winning the exhibition game of me and <a href=\"http:\/\/zackmdavis.net\/blog\/2016\/01\/ideas-have-expirations\/\">my it's-not-chess engine<\/a> (as White) <em>versus<\/em> everyone in the office who (unlike me) actually knows something about chess (as Black). I mean, na\u00efvely, my team is up a bishop right now, but our king is pretty exposed, and the <a href=\"https:\/\/en.wikipedia.org\/w\/index.php?title=Variation_%28game_tree%29&amp;oldid=545070873#Principal_variation\">principal variation<\/a> that generated one of our recent moves (16. Bxb4 Bf5 17. Kd1 Qxd4+ 18. Kc1 Ng3 19. Qxc7 Nxh1) looks <em>dreadful<\/em>.<\/p>\n<p>Real chess aficionados (chessters? chessies?) will laugh at me, but it actually took me a while to understand why Ng3 was in that principal variation (I might even have invoked the engine again to help). The position after Ng3 looks like<\/p>\n<pre><code>    a b c d e f g h\r\n 8 \u265c       \u265c   \u265a   \r\n 7 \u265f \u265f \u265f     \u265f \u265f \u265f \r\n 6                 \r\n 5           \u265d     \r\n 4   \u2657   \u265b         \r\n 3 \u2659           \u265e   \r\n 2   \u2659 \u2655     \u2659 \u2659 \u2659 \r\n 1 \u2656 \u2658 \u2654     \u2657   \u2656 <\/code><\/pre>\n<p>and\u2014forgive me\u2014I didn't understand why that wasn't refuted by fxg3 or hxg3; in my novice's utter <em>blindness<\/em>, I somehow failed to see the discovered attack on the white queen, the necessity of evading which allows the black knight to capture the white rook, and preparation for which was clearly the purpose of 16. ..Bf5 (insofar as we\u2014anthropomorphically?\u2014attribute <em>purpose<\/em> to a sequence of moves discovered by a minimax search algorithm which doesn't represent concepts like <em>discovered attack<\/em> anywhere).<\/p>\n<p><!--more--><\/p>\n<p>It's the little things like this that reinforce my suspicion that human cognition doesn't really work most of the time, that to the extent that we have a technological civilization with nice things in it, it's a matter of a bunch of apes, <em>some<\/em> of whom are just <em>barely<\/em> generally-intelligent, happening to stumble into patterns of co\u00f6peration that happened to scale, and not a matter of anyone within the system actually understanding much. It's the current year, and the current year turns out to be not only congruent to 0 mod 2, but furthermore to 0 mod <em>4<\/em>, which means outrage season is brewing again. I'm mostly pretty good at ignoring it, <a href=\"http:\/\/zackmdavis.net\/blog\/2012\/11\/i-just-want-outrage-season-to-be-over-already\/\">except for<\/a> the undercurrent of contempt that I can't help but feel at how almost everyone seems to think it's <em>okay<\/em> for important decisions to be made in this way.<\/p>\n<p>The thing about chess is that it's a very simple game. There are these thirty-two figurines on an eight-by-eight grid, and you take turns moving the figurines subject to a few rules with a well-specified objective in mind. Simple. If you're lazy like me, you can even write a computer program to do it for you. And if you hadn't already spent many, many hours of study and practice mastering the game yourself, what such a program will surely show you (as it showed me, though I expected as much) is that your unaided attempts to make good moves will <em>get it wrong<\/em>. The novice thinks: checkmate is the goal, giving check is good, capturing material is good; I should look for moves that do those things. And the novice will <em>lose<\/em>, badly. What you actually need to do is look for your best move <em>given<\/em> your opponent's best reply <em>given<\/em> your best counterreply <em>given<\/em> your opponent's best countercounterreply, and so on as far forward as you can afford to compute. It's not magic and it's not impossible, but it's <em>subtle<\/em> and it takes <em>work<\/em>.<\/p>\n<p>And the thing about the real world is that it is <em>unimaginably complicated<\/em>. There are seven billion humans on this radius-6.37\u00b710<sup>6<\/sup> m planet, all haphazardly pursuing their own objectives subject to no rules except whatever high-level generalizations about the underlying fundamental physics strike you as sufficiently robust to be worth reifying as a <em>rule<\/em>. Unimaginable. And I feel like those appealing to the masses seeking leadership positions in the reigning institutions of governance don't properly appreciate this. You hear them or their boosters talk about how &quot;we&quot; obviously need to make college or healthcare free, or crush our terrorist foes, and to me it just sounds like so many shouts of &quot;fxg3!&quot; or &quot;hxg3!&quot;. The <em>goals<\/em> are noble: of course we <em>want<\/em> America to be great, and for its people to be healthy and wealthy and knowledgeable and safe, just as a chess player <em>wants<\/em> to checkmate the opposing king. But the interventions that <em>sound intuitively appealing<\/em> aren't necessarily the same as the interventions that will <em>actually work<\/em>! &quot;We&quot; should hope for leaders with the courage and skepticism and <em>competence<\/em> to say, &quot;No, wait, that won't work because of ...Bxc2,&quot; and continue the search for better alternatives for our nation and its children.<\/p>\n<p>But if I can <em>predict<\/em> that that's not what &quot;we&quot; are going to choose, maybe I should continue searching for better alternative ways to spend my time than complaining about it.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>It looks like the opposing all-human team is winning the exhibition game of me and my it's-not-chess engine (as White) versus everyone in the office who (unlike me) actually knows something about chess (as Black). I mean, na\u00efvely, my team &hellip; <a href=\"http:\/\/zackmdavis.net\/blog\/2016\/02\/missing-refutations\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[13],"tags":[83,50],"_links":{"self":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts\/1800"}],"collection":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/comments?post=1800"}],"version-history":[{"count":4,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts\/1800\/revisions"}],"predecessor-version":[{"id":1804,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/posts\/1800\/revisions\/1804"}],"wp:attachment":[{"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/media?parent=1800"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/categories?post=1800"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/zackmdavis.net\/blog\/wp-json\/wp\/v2\/tags?post=1800"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}