{"id":3376,"date":"2017-08-08T22:36:57","date_gmt":"2017-08-09T03:36:57","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=3376"},"modified":"2019-01-27T05:06:53","modified_gmt":"2019-01-27T11:06:53","slug":"the-kolmogorov-option","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=3376","title":{"rendered":"The Kolmogorov option"},"content":{"rendered":"<p><a href=\"https:\/\/en.wikipedia.org\/wiki\/Andrey_Kolmogorov\">Andrey Nikolaevich Kolmogorov<\/a> was one of the giants of 20th-century mathematics. &nbsp;I&#8217;ve always found it amazing that the same man was responsible both for establishing the <a href=\"https:\/\/en.wikipedia.org\/wiki\/Probability_axioms\">foundations<\/a> of classical probability theory in the 1930s, <em>and also<\/em> for co-inventing the theory of algorithmic randomness (a.k.a.&nbsp;<a href=\"https:\/\/en.wikipedia.org\/wiki\/Kolmogorov_complexity\">Kolmogorov complexity<\/a>) in the 1960s, which challenged the classical foundations, by holding that it <em>is<\/em> possible after all to talk about the entropy of an individual object, without reference to any ensemble from which the object was drawn. &nbsp;Incredibly, going strong into his eighties, Kolmogorov then pioneered the study&nbsp;of <a href=\"https:\/\/people.cs.uchicago.edu\/~fortnow\/papers\/soph.pdf\">&#8220;sophistication,&#8221;<\/a> which amends Kolmogorov complexity to assign low values both to &#8220;simple&#8221; objects <em>and<\/em>&nbsp;&#8220;random&#8221; ones, and high values only to a third category of objects, which are &#8220;neither simple nor random.&#8221; &nbsp;So, Kolmogorov was at the vanguard of the revolution, counter-revolution, <em>and<\/em>&nbsp;counter-counter-revolution.<\/p>\n<p>But that doesn&#8217;t even scratch&nbsp;the surface of his accomplishments: he made fundamental contributions to topology and dynamical systems, and together with Vladimir Arnold, solved&nbsp;<a href=\"https:\/\/en.wikipedia.org\/wiki\/Hilbert%27s_thirteenth_problem\">Hilbert&#8217;s thirteenth problem<\/a>, showing that any multivariate continuous function can be written as a composition of continuous functions of two variables. &nbsp;He mentored an <a href=\"https:\/\/www.genealogy.math.ndsu.nodak.edu\/id.php?id=10480\">awe-inspiring list<\/a> of young mathematicians, whose names (besides&nbsp;Arnold) include Dobrushin, Dynkin, Gelfand, Martin-L\u00f6f, Sinai, and in theoretical computer science, our own <a href=\"https:\/\/en.wikipedia.org\/wiki\/Leonid_Levin\">Leonid Levin<\/a>. &nbsp;If that wasn&#8217;t enough, during World War II Kolmogorov applied his mathematical gifts to artillery problems, helping to protect Moscow from German&nbsp;bombardment.<\/p>\n<p>Kolmogorov was private in his personal and political life, which might have had something to do with being gay, at a time and place when that was in no way widely&nbsp;accepted. &nbsp;From what&nbsp;I&#8217;ve read&#8212;for example, in <a href=\"https:\/\/www.amazon.com\/Perfect-Rigor-Mathematical-Breakthrough-Century\/dp\/015101406X\">Gessen&#8217;s biography of Perelman<\/a>&#8212;Kolmogorov seems to have been generally a model&nbsp;of integrity and decency. &nbsp;He established schools for mathematically gifted children, which became jewels of the Soviet Union; one still reads about them with awe. &nbsp;And at a time when Soviet mathematics was convulsed by antisemitism&#8212;with students of Jewish descent <a href=\"https:\/\/www.amazon.com\/Love-Math-Heart-Hidden-Reality\/dp\/0465064957\">excluded from the top math programs<\/a> for made-up reasons, sent instead to remote trade schools&#8212;Kolmogorov quietly protected&nbsp;Jewish researchers.<\/p>\n<p>OK, but all this&nbsp;leaves a question. &nbsp;Kolmogorov was a leading and admired Soviet scientist all through&nbsp;the era of Stalin&#8217;s purges, the Gulag, the KGB, the murders and disappearances and forced confessions, the show trials, the rewritings of history, the allies suddenly denounced as traitors, the tragicomedy of <a href=\"https:\/\/en.wikipedia.org\/wiki\/Lysenkoism\">Lysenkoism<\/a>. &nbsp;Anyone as intelligent, individualistic, and morally sensitive as Kolmogorov would obviously&nbsp;have seen through the lies of his government, and been horrified by its brutality. &nbsp;So then why did he utter nary a word in public against what was happening?<\/p>\n<p>As far as I can tell, the answer is simply: <em>because Kolmogorov knew better than to pick fights he couldn&#8217;t win.<\/em> &nbsp;He judged that he could best serve the cause of truth by building up an enclosed little bubble of truth, and protecting that bubble&nbsp;from interference by the Soviet system, and even making the bubble <em>useful<\/em> to the system wherever he could&#8212;rather than futilely struggling&nbsp;to reform&nbsp;the system, and simply making martyrs of himself and all his students for his trouble.<\/p>\n<p>There&#8217;s a saying of Kolmogorov, which associates wisdom with keeping your mouth shut:<\/p>\n<p style=\"padding-left: 30px;\">&#8220;Every mathematician believes that he is ahead of the others. The reason none state this belief in public is because they are intelligent people.&#8221;<\/p>\n<p>There&#8217;s also a story that Kolmogorov&nbsp;loved to tell about himself, which&nbsp;presents math as a sort of refuge from the arbitrariness of the world: he said that he once studied to become&nbsp;a historian, but was put off by the fact that historians demanded&nbsp;ten different proofs for the same proposition, whereas in math, a single proof suffices.<\/p>\n<p>There was also a dark side to political quietism.&nbsp; In 1936, Kolmogorov joined other mathematicians in testifying against his former mentor in the so-called <a href=\"https:\/\/en.wikipedia.org\/wiki\/Nikolai_Luzin#Luzin_affair_of_1936\">Luzin affair<\/a>. &nbsp;By many accounts, he did this because the police blackmailed him, by threatening to reveal his homosexual relationship with Pavel Aleksandrov. &nbsp;On the other hand, while he was never foolish enough to take on Lysenko directly, Kolmogorov&nbsp;did publish a paper in 1940 courageously supporting Mendelian genetics.<\/p>\n<hr>\n<p>It seems likely that in every culture, there have been truths, which moreover everyone <em>knows<\/em>&nbsp;to be true on some level, but which&nbsp;are so corrosive&nbsp;to the culture&#8217;s moral self-conception&nbsp;that one&nbsp;can&#8217;t assert&nbsp;them, or even entertain them seriously, without (in the best case) being ostracized for the rest of one&#8217;s&nbsp;life. &nbsp;In the USSR, those truths&nbsp;were the ones that&nbsp;undermined the entire&nbsp;communist project: for example, that humans are not blank slates; that Mendelian genetics is right; that Soviet collectivized agriculture was&nbsp;a humanitarian disaster. &nbsp;In our own culture, those truths&nbsp;are&#8212;well, you didn&#8217;t expect me to say, did you? \ud83d\ude42<\/p>\n<p>I&#8217;ve long been fascinated by&nbsp;the psychology of unspeakable truths. &nbsp;Like, for any halfway perceptive&nbsp;person in the USSR, there must have been an incredible&nbsp;temptation to make a name for yourself as a daring truth-teller:&nbsp;<em>so much low-hanging fruit!<\/em>&nbsp; So much to say that&#8217;s correct&nbsp;and important, and that best of all, hardly anyone&nbsp;else is saying!<\/p>\n<p>But then one would think better of it. &nbsp;It&#8217;s not as if,&nbsp;when you speak a&nbsp;forbidden truth, your colleagues and superiors will thank&nbsp;you for correcting their misconceptions. &nbsp;Indeed, it&#8217;s not as if they didn&#8217;t <em>already know<\/em>, on some level, whatever you&nbsp;imagined yourself telling them. &nbsp;In fact&nbsp;it&#8217;s often <em>because<\/em> they fear&nbsp;you might be&nbsp;right that the authorities see no choice&nbsp;but to make an example of&nbsp;you, lest the&nbsp;heresy spread more widely. &nbsp;One corollary is that the more reasonably and cogently&nbsp;you make your case, the more you force the authorities&#8217; hand.<\/p>\n<p>But what&#8217;s&nbsp;the inner psychology of the authorities? &nbsp;For some, it probably really is as cynical as the preceding paragraph&nbsp;makes it sound. &nbsp;But for most, I doubt that. &nbsp;I think that most authorities simply internalize the ruling ideology so deeply that they equate dissent with <em>sin<\/em>. &nbsp;So in particular, the better&nbsp;you can ground your case in empirical facts, the craftier and more conniving a deceiver&nbsp;you become&nbsp;in their eyes, and <em>hence&nbsp;the more virtuous they are for punishing you<\/em>. &nbsp;Someone who&#8217;s arrived at that point is completely insulated from argument: absent some crisis that makes them reevaluate their entire life, there&#8217;s no sense&nbsp;in even trying. &nbsp;The question of whether or not your arguments have merit&nbsp;won&#8217;t&nbsp;even get entered upon, nor will the authority ever be able to repeat back your arguments in a form you&#8217;d recognize&#8212;for even repeating the arguments correctly could invite accusations of secretly agreeing with them. &nbsp;Instead, the sole subject of interest will be <em>you<\/em>: who you think you are, what your motivations were to utter&nbsp;something so divisive and hateful. &nbsp;And you have as good&nbsp;a chance of convincing authorities of your benign motivations as you&#8217;d have of convincing the Inquisition that, sure, you&#8217;re a heretic, but the <em>good<\/em> kind of heretic, the kind who rejects the divinity of Jesus but believes in niceness and tolerance and helping people. &nbsp;To an Inquisitor, &#8220;good heretic&#8221; doesn&#8217;t&nbsp;parse any better&nbsp;than &#8220;round square,&#8221; and the very utterance of such a phrase is an invitation to mockery. &nbsp;If the Inquisition had had Twitter, its favorite sentence would be &#8220;I can&#8217;t even.&#8221;<\/p>\n<p>If it means anything to be a lover of truth, it means that anytime society finds itself stuck in one of these naked-emperor equilibriums&#8212;i.e., an equilibrium with certain facts&nbsp;known to nearly everyone, but severe punishments for anyone who tries to make those facts <a href=\"https:\/\/scottaaronson.blog\/?p=2410\">common knowledge<\/a>&#8212;you hope that <em>eventually<\/em> society climbs&nbsp;its way out. &nbsp;But crucially, you can hope this while also realizing&nbsp;that, if <em>you<\/em> tried singlehandedly to change the equilibrium, it wouldn&#8217;t achieve anything good for the cause of truth. &nbsp;If iconoclasts simply throw themselves against a ruling ideology&nbsp;one by one, they can be picked off as easily as&nbsp;tribesmen charging a tank with spears, and each kill&nbsp;will only embolden the tank-gunners still further. &nbsp;The charging tribesmen don&#8217;t even have the&nbsp;assurance that, if truth ultimately&nbsp;<em>does<\/em> prevail, then they&#8217;ll be honored&nbsp;as martyrs: they might instead end up like <a href=\"https:\/\/en.wikipedia.org\/wiki\/Ted_Nelson\">Ted Nelson<\/a>&nbsp;babbling&nbsp;about hypertext in 1960, or <a href=\"https:\/\/en.wikipedia.org\/wiki\/Henry_Cabourn_Pocklington\">H.C. Pocklington<\/a>&nbsp;yammering about polynomial-time algorithms in 1917, nearly forgotten by history for being too far ahead of their time.<\/p>\n<p>Does this mean that, like Winston Smith, the iconoclast&nbsp;simply must accept that 2+2=5, and that a boot will stamp on a human face forever? &nbsp;No, not at all. &nbsp;Instead the iconoclast can choose&nbsp;what I think of as the <em>Kolmogorov option<\/em>. &nbsp;This is where you build up fortresses of truth in places the ideological authorities don&#8217;t particularly&nbsp;understand or care about, like pure math, or butterfly taxonomy, or irregular verbs. &nbsp;You avoid a direct assault on any beliefs your&nbsp;culture&nbsp;considers necessary for it to operate. &nbsp;You even seek out&nbsp;common ground with the local enforcers of orthodoxy. &nbsp;Best of all is a shared&nbsp;enemy, and a way your knowledge and skills might&nbsp;be useful&nbsp;against that enemy. &nbsp;For Kolmogorov, the shared enemy was the Nazis; for someone today, an excellent choice&nbsp;might be Trump, who&#8217;s rightly despised&nbsp;by many intellectual factions that&nbsp;spend most of their time despising&nbsp;each other. &nbsp;Meanwhile, you wait for a&nbsp;moment when, because of social tectonic shifts beyond your control, the ruling ideology&nbsp;has become fragile&nbsp;enough that truth-tellers acting in concert really <em>can<\/em> bring it down. &nbsp;You accept that this moment of reckoning might never arrive, or not in your lifetime. &nbsp;But even if so, you could still be honored by future generations for building your local pocket of truth, and for not giving falsehood any more aid or comfort than was necessary for your survival.<\/p>\n<hr>\n<p>When it comes to the amount of&nbsp;flak one&nbsp;takes for defending controversial&nbsp;views&nbsp;in public under one&#8217;s own name, I defer&nbsp;to almost no one. &nbsp;For anyone tempted, based on this post, to&nbsp;call me a conformist or coward: how many times have you been denounced online, and from how many different corners&nbsp;of the ideological spectrum?&nbsp; How many people have demanded your firing? &nbsp;&nbsp;How many death threats have you received? &nbsp;How many threatened lawsuits? &nbsp;How many comments that simply say &#8220;kill yourself kike&#8221; or similar? &nbsp;Answer and we can talk about cowardice.<\/p>\n<p>But, yes, there are places even I won&#8217;t go, hills I won&#8217;t die on. &nbsp;Broadly speaking:<\/p>\n<ul>\n<li>My&nbsp;<strong>Law<\/strong> is that, as a scientist, I&#8217;ll hold discovering and disseminating&nbsp;the truth to be a central duty of my life, one that overrides almost every other value. &nbsp;I&#8217;ll constantly urge myself to share&nbsp;what I see as the truth, even if it&#8217;s&nbsp;wildly unpopular, or makes me look weird, or is otherwise damaging to me.<\/li>\n<li>The <strong>Amendment<\/strong> to the Law is that I&#8217;ll go to great lengths&nbsp;not to&nbsp;hurt anyone else&#8217;s&nbsp;feelings: for example, by propagating negative stereotypes, or by saying anything that might&nbsp;discourage any enthusiastic person from entering science. &nbsp;And if I don&#8217;t understand&nbsp;what is or isn&#8217;t hurtful, then I&#8217;ll defer to the leading intellectuals in&nbsp;my culture to tell me. &nbsp;This Amendment often overrides the Law, causing me to bite my tongue.<\/li>\n<li>The <strong>Amendment to the Amendment<\/strong>&nbsp;is that, when pushed, I&#8217;ll stand by what I care about&#8212;such as free scientific inquiry, liberal Enlightenment norms, humor, clarity, and the survival of the planet and of family and friends&nbsp;and colleagues and nerdy misfits wherever they might be found. &nbsp;So if someone puts&nbsp;me in a situation&nbsp;where there&#8217;s no way to protect&nbsp;what I care about&nbsp;<em>without<\/em>&nbsp;speaking a truth that hurts&nbsp;someone&#8217;s feelings, then I might speak the truth, feelings&nbsp;be damned. &nbsp;(Even then, though, I&#8217;ll try to minimize collateral damage.)<\/li>\n<\/ul>\n<hr>\n<p>When I see social media&nbsp;ablaze with this or that popular falsehood, I sometimes&nbsp;feel the &#8220;Galileo urge&#8221; washing over me. &nbsp;I think: I&#8217;m a tenured professor with a semi-popular blog. &nbsp;How can I look myself in the mirror, if I won&#8217;t use my platform and relative job safety to declare to the world, <a href=\"https:\/\/en.wikipedia.org\/wiki\/And_yet_it_moves\">&#8220;and yet it moves&#8221;<\/a>?<\/p>\n<p>But then I remember that e<em>ven Galileo<\/em>&nbsp;weighed his options and tried hard to be prudent. &nbsp;In his mind, the <a href=\"https:\/\/en.wikipedia.org\/wiki\/Dialogue_Concerning_the_Two_Chief_World_Systems\">Dialogue Concerning the Two Chief World Systems<\/a> actually represented a&nbsp;<em>compromise (!)<\/em>. &nbsp;Galileo never declared outright that the earth orbits&nbsp;the sun. &nbsp;Instead, he put the Copernican doctrine, as a &#8220;possible view,&#8221; into the mouth of his character Salviati&#8212;only to have Simplicio &#8220;refute&#8221; Salviati, by&nbsp;the final dialogue, with the argument that faith always trumps reason, and that human beings are pathetically unequipped to deduce the plan of God from mere surface appearances. &nbsp;Then, when that fig-leaf turned out not to be wide enough to fool the Church, Galileo quickly capitulated. &nbsp;He repented of his error, and agreed never to defend the Copernican heresy again. &nbsp;And he didn&#8217;t, at least not publicly.<\/p>\n<p>Some have called Galileo a coward for that. &nbsp;But the great David Hilbert held a <a href=\"http:\/\/www-history.mcs.st-andrews.ac.uk\/Quotations\/Hilbert.html\">different view<\/a>. &nbsp;Hilbert said that science, unlike religion, has no need for martyrs, because it&#8217;s based on facts that can&#8217;t be denied indefinitely. &nbsp;Given that, Hilbert considered Galileo&#8217;s response to be&nbsp;precisely correct: in effect Galileo told the&nbsp;Inquisitors,&nbsp;<em>hey, you&#8217;re the ones with the torture rack. &nbsp;Just tell me which way&nbsp;you want it. &nbsp;I can have the earth orbiting Mars and Venus in figure-eights by tomorrow if you decree it so.<\/em><\/p>\n<p>Three hundred years later, Andrey Kolmogorov would say to the Soviet authorities, in so many words: <em>hey, you&#8217;re the ones with the Gulag and secret police. &nbsp;Consider me at your service. &nbsp;I&#8217;ll even help you stop&nbsp;Hitler&#8217;s ideology from taking over the world&#8212;you&#8217;re 100% right about that one, I&#8217;ll give you that. &nbsp;Now as for your own wondrous ideology: just tell me the dogma of the week, and I&#8217;ll try to make sure Soviet mathematics presents no threat to it.<\/em><\/p>\n<p>There&#8217;s a quiet dignity to Kolmogorov&#8217;s&nbsp;(and Galileo&#8217;s) approach: a dignity that&nbsp;I suspect will be alien to many, but recognizable to those&nbsp;in the business of science.<\/p>\n<hr>\n<p><strong>Comment Policy:<\/strong> I welcome discussion&nbsp;about the responses of Galileo, Kolmogorov, and other historical figures to official ideologies that they didn&#8217;t believe in; and about the meta-question of how a truth-valuing person ought to&nbsp;behave when living under such ideologies. &nbsp;In the hopes of maintaining a civil discussion, any comments that mention&nbsp;<em>current<\/em>&nbsp;hot-button ideological disputes&nbsp;will be ruthlessly deleted.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Andrey Nikolaevich Kolmogorov was one of the giants of 20th-century mathematics. &nbsp;I&#8217;ve always found it amazing that the same man was responsible both for establishing the foundations of classical probability theory in the 1930s, and also for co-inventing the theory of algorithmic randomness (a.k.a.&nbsp;Kolmogorov complexity) in the 1960s, which challenged the classical foundations, by holding [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"_wpas_customize_per_network":false},"categories":[11,8],"tags":[],"class_list":["post-3376","post","type-post","status-publish","format-standard","hentry","category-nerd-interest","category-the-fate-of-humanity"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/3376","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3376"}],"version-history":[{"count":5,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/3376\/revisions"}],"predecessor-version":[{"id":4058,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/3376\/revisions\/4058"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3376"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3376"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3376"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}