{"id":724,"date":"2008-12-29T08:25:52","date_gmt":"2008-12-29T08:25:52","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2008\/12\/29\/idiotic-gitt-aig-and-bad-information-theory-classic-repost\/"},"modified":"2008-12-29T08:25:52","modified_gmt":"2008-12-29T08:25:52","slug":"idiotic-gitt-aig-and-bad-information-theory-classic-repost","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2008\/12\/29\/idiotic-gitt-aig-and-bad-information-theory-classic-repost\/","title":{"rendered":"Idiotic Gitt: AiG and Bad Information Theory (classic repost)"},"content":{"rendered":"<p><em>I&#8217;m away on vacation this week, taking my kids to Disney World. Since I&#8217;m not likely to have time to write while I&#8217;m away, I&#8217;m taking the opportunity to re-run some old classic posts which were first posted in the summer of 2006. These posts are mildly revised.<\/em><\/p>\n<p> Back when I first wrote this post, I was taking a break from some puzzling debugging.<br \/>\nSince I was already a bit frazzled, and I felt like I needed some comic relief, I decided to<br \/>\nhit one of my favorite comedy sites, Answers in Genesis. I can pretty much always find<br \/>\nsomething sufficiently stupid to amuse me on their site. On that fateful day, I came across a<br \/>\ngem called <a href=\"http:\/\/www.answersingenesis.org\/tj\/v10\/i2\/information.asp\">Information, science and biology&#8221;<\/a>, by the all too appropriately named<br \/>\n&#8220;Werner Gitt&#8221;. It&#8217;s yet another attempt by a creationist twit to find some way to use<br \/>\ninformation theory to prove that life must have been created by god.<\/p>\n<p> This article really interested me in the bad-math way, because I&#8217;m a big fan of information theory. I don&#8217;t pretend to be anything close to an expert in it, but I&#8217;m<br \/>\nfascinated by it. I&#8217;ve read several texts on it, taken one course in grad school, and had the incredible good fortune of getting to know Greg Chaitin, one of the co-inventors of algorithmic information theory. Basically, it&#8217;s safe to say that I know enough about<br \/>\ninformation theory to get myself into trouble.<\/p>\n<p> Unlike admission above, it looks like the Gitt hasn&#8217;t actually <em>read<\/em> any real<br \/>\ninformation theory much less understood it. All that he&#8217;s done is heard Dembski presenting<br \/>\none of his wretched mischaracterizations, and then regurgitated and expanded upon them.<br \/>\nDembski was bad enough; building on an incomplete understanding of Dembski&#8217;s misrepresentations, misunderstandings, and outright and errors produces a result<br \/>\nthat is just astonishingly ridiculous. It&#8217;s actually a splendid example of my mantra on this blog: &#8220;<em>the worst math is no math<\/em>&#8220;; the entire article pretends to be doing math &#8211; but it&#8217;s actual mathematical content is nil. Still, to the day of this repost, I continue<br \/>\nto see references to this article as &#8220;Gitt&#8217;s math&#8221; or &#8220;Gitt&#8217;s proof&#8221;.<\/p>\n<p><!--more--><\/p>\n<p> Gitt starts his article by thoroughly butchering an introduction to Shannon<br \/>\ninformation theory.  I&#8217;ll just let that breeze by; no sense belaboring the obvious. After<br \/>\nhis botched introduction, he moves on to the rubbish that I&#8217;ll focus on.<\/p>\n<blockquote><p>\nThe highest information density known to us is that of the DNA (deoxyribonucleic acid)<br \/>\nmolecules of living cells. This chemical storage medium is 2 nm in diameter and has a 3.4 NM<br \/>\nhelix pitch (see Figure 1). This results in a volume of 10.68&times;10<sup>-21<\/sup><br \/>\ncm<sup>3<\/sup> per spiral. Each spiral contains ten chemical letters (nucleotides), resulting<br \/>\nin a volumetric information density of 0.94&times;10<sup>21<\/sup> letters\/cm<sup>3<\/sup>. In<br \/>\nthe genetic alphabet, the DNA molecules contain only the four nucleotide bases, that is,<br \/>\nadenine, thymine, guanine and cytosine. The information content of such a letter is 2<br \/>\nbits\/nucleotide. Thus, the statistical information density is 1.88&times;10<sup>21<\/sup><br \/>\nbits\/cm<sup>3<\/sup>.\n<\/p><\/blockquote>\n<p> This is, of course, utter gibberish. DNA is <em>not<\/em> the &#8220;highest information density<br \/>\nknown&#8221;. In fact, the concept of <em>information density<\/em> is not well-defined. Without a good definition, it&#8217;s meaningless: How do you compare the &#8220;information density&#8221; of a DNA molecule with the information density of an electromagnetic wave emitted by a pulsar? You can&#8217;t: it&#8217;s meaningless to compare. This is just a sign of the kind of nonsense to come: Gitt is a guy who doesn&#8217;t believe that he needs to be bothered with trivial little details like<br \/>\ndefinition. He&#8217;s a big idea guy!<\/p>\n<p> Anyway&#8230; we can define a kind of information density as bits per cubit centimeter. Of course, that&#8217;s <em>still<\/em> not well-defined; how do we decide what&#8217;s a bit? Naively it<br \/>\nseems obvious, but when you think about it in detail, you&#8217;ll realize where the ambiguity comes in. Is a bit a specific chunk that can be one of several options &#8211; as in the segments<br \/>\nof DNA? Is a bit the magnetic alignment of a bit of iron? Is a bit the charge of an ion? Any of those are perfectly plausible definitions of a unit of information encoded into a physical<br \/>\nform. Depending on how you define it, you can come up with a number of different &#8220;highest information density known to us&#8221;.<\/p>\n<p> Consider, for example, the information density of a crystal, like a<br \/>\ndiamond. A diamond is an incredibly compact crystal of carbon atoms. There are no perfect<br \/>\ndiamonds: all crystals contain irregularities and impurities. Consider how dense the<br \/>\ninformation of that crystal is: the position of every flaw, every impurity, the positions of<br \/>\nthe subset of carbon atoms in the crystal that are carbon-14 as opposed to carbon-12.<\/p>\n<p> Just take the impurities, and look up the density of a diamond. Assume that there&#8217;s one<br \/>\nnon-carbon atom per billion in the diamond &#8211; that&#8217;s probably on the low-end of the number<br \/>\nof impurities. Use its position in the diamond lattice as a bit indicator. Assume that the<br \/>\nimpurity encodes only one bit &#8211; even though you could encode quite a lot more. Now, work<br \/>\nout the &#8220;information density&#8221; of the diamond.<\/p>\n<p>Considerably denser than DNA, huh?<\/p>\n<p> After this is where it <em>really<\/em> starts to get silly. Our Gitt claims that Shannon<br \/>\ntheory is incomplete, because after all, it&#8217;s got a strictly <em>quantitative<\/em> measure of<br \/>\ninformation: it doesn&#8217;t care about what the message <em>means<\/em>. So he sets out to &#8220;fix&#8221;<br \/>\nthat problem. He proposes five levels of information: statistics, syntax, semantics,<br \/>\npragmatics, and apobetics. He claims that Shannon theory (and in fact information theory<br \/>\n<em>as a whole<em>) only concerns itself with the first; it&#8217;s incomplete because it doesn&#8217;t<br \/>\ndifferentiate between syntactically valid and invalid information, much less attempt to reason about the higher levels. <\/p>\n<p> Let&#8217;s take a quick run through the five, before I start mocking them.<\/p>\n<ol>\n<li> <b>Statistics:<\/b> This is what information theory refers to as information content, expressed in terms of an event sequence (as I said, he&#8217;s following Dembski); so we&#8217;re looking at a series of events, each of which is receiving a character of a message, and the information added by each event is how surprising that event was. That&#8217;s why he calls it statistical.<\/li>\n<li><b>Syntax:<\/b> The structure of the language encoded by the message. At this level, it is assumed that every message is written in a <em>code<\/em>; you can distinguish between &#8220;valid&#8221; and &#8220;invalid&#8221; messages by checking whether they are valid strings of characters for the given code.<\/li>\n<li><b>Semantics:<\/b> What the message <em>means<\/em>.<\/li>\n<li><b>Pragmatics:<\/b> The <em>primitive intention<\/em> of the transmitter of the message; the specific events\/actions that the transmitter wanted to occur as a result of sending the message.<\/li>\n<li><b>Apobetics:<\/b> The <em>purpose<\/em> of the message.<\/li>\n<\/ol>\n<p> According to him, level 5 is the most important one.<\/p>\n<p> Before moving on, I&#8217;ll just briefly note: formulating things this way is assuming<br \/>\nthe conclusion. What he wants to prove is that all real information includes<br \/>\na message which was sent with intent and purpose &#8211; and thus can&#8217;t be created by<br \/>\nanything other than an intelligent sender. But he&#8217;s already <em>assuming<\/em> in his definition of information that it <em>must<\/em> have these components &#8211; including the intention of the sender and the purpose of the message.<\/p>\n<p> Throughout the article, he constantly writes &#8220;theorems&#8221;. He clearly doesn&#8217;t understand what the word &#8220;theorem&#8221; means, because these things are just statements that he would <\/em>like<\/em> to be true, but which are unproven, and often unprovable. These <em>aren&#8217;t<\/em> theorems. In math, the word &#8220;theorem&#8221; means something very specific. A theorem isn&#8217;t just &#8220;a statement that I think is true&#8221;, or &#8220;a statement that I want to specifically label because it&#8217;s important&#8221;. A theorem is a <em>proven statement<\/em>. If<br \/>\nyou don&#8217;t show a proof for it, it&#8217;s not a theorem. No matter how obvious it seems, no<br \/>\nmatter how straightforward, it&#8217;s not a theorem if you don&#8217;t have a proof.<\/p>\n<p>Now let&#8217;s look a few examples of his so-called theorems. I&#8217;m quoting the<br \/>\n<em>entire theorems<\/em> here &#8211; a series of them and the start of the discussion<br \/>\nthat follows. This is <em>really<\/em> how he presents &#8220;theorems&#8221;. This comes<br \/>\nfrom his section on what he calls the syntax level of information.<\/p>\n<blockquote>\n<p>Theorem 4: A code is an absolutely necessary condition for the representation<br \/>\nof information.<\/p>\n<p>Theorem 5: The assignment of the symbol set is based on convention and<br \/>\nconstitutes a mental process.<\/p>\n<p>Theorem 6: Once the code has been freely defined by convention, this definition<br \/>\nmust be strictly observed thereafter.<\/p>\n<p>Theorem 7: The code used must be known both to the transmitter and receiver if<br \/>\nthe information is to be understood.<\/p>\n<p>Theorem 8: Only those structures that are based on a code can represent<br \/>\ninformation (because of Theorem 4). This is a necessary, but still inadequate,<br \/>\ncondition for the existence of information.<\/p>\n<p> These theorems already allow fundamental statements to be made at the level of<br \/>\nthe code. If, for example, a basic code is found in any system, it can be<br \/>\nconcluded that the system originates from a mental concept.<\/p>\n<\/blockquote>\n<p> How do we conclude that a code is a necessary condition for the representation  of information? We just assert it. Worse, how do we conclude that <em>only<\/em> things that are based on a code represent information? Again, just an assertion &#8211; but an <em>incredibly<\/em> strong one. He is asserting that <em>nothing<\/em> without a<br \/>\nstructured encoding is information. And this is also the absolute crux of his argument: information only exists as a part of a code <em>designed by an intelligent process<\/em>. <\/p>\n<p> Despite the fact that he claims to be completing Shannon theory, there is <em>nothing<\/em> to do with math in the rest of this article. It&#8217;s all words. &#8220;Theorems&#8221; like the ones quoted above, but becoming progressively more outrageous and unjustified. <\/p>\n<p> For example, his theorem 11:<\/p>\n<blockquote><p>\nThe apobetic aspect of information is the most important, because it embraces<br \/>\nthe objective of the transmitter. The entire effort involved in the four lower<br \/>\nlevels is necessary only as a means to an end in order to achieve this<br \/>\nobjective.\n<\/p><\/blockquote>\n<p>After this, we get to his conclusion, which is quite a prize.<\/p>\n<blockquote><p>\nOn the basis of Shannon&#8217;s information theory, which can now be regarded as<br \/>\nbeing mathematically complete, we have extended the concept of information as<br \/>\nfar as the fifth level. The most important empirical principles relating to the<br \/>\nconcept of information have been defined in the form of theorems.\n<\/p><\/blockquote>\n<p> See, to him, a theorem is nothing but a &#8220;form&#8221;: a syntactic structure. And this whole article, to him, is mathematically complete. <\/p>\n<blockquote>\n<p>The Bible has long made it clear that the creation of the original groups of<br \/>\nfully operational living creatures, programmed to transmit their information to<br \/>\ntheir descendants, was the deliberate act of the mind and the will of the<br \/>\nCreator, the great Logos Jesus Christ.<\/p>\n<p>We have already shown that life is overwhelmingly loaded with information; it<br \/>\nshould be clear that a rigorous application of the science of information is<br \/>\ndevastating to materialistic philosophy in the guise of evolution, and strongly<br \/>\nsupportive of Genesis creation.<\/p>\n<\/blockquote>\n<p> That&#8217;s where he wanted to go all through this train-wreck. DNA is the highest-possible<br \/>\ndensity information source. It&#8217;s a message originated by god, and transmitted by each<br \/>\ngeneration to its children. <\/p>\n<p> And as usual for the twits (or Gitts) that write this stuff, they&#8217;re pretending to put<br \/>\ntogether logical\/scientific\/mathematical arguments for god; but they can only do it by<br \/>\nspecifically including the necessity of god as a premise. In this case, he asserts that DNA<br \/>\nis a message; and a message must have an intelligent agent creating it. Since living things<br \/>\ncannot be the original creators of the message, since the DNA had to be created before us.<br \/>\nTherefore there must be a god.<\/p>\n<p>Same old shit.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I&#8217;m away on vacation this week, taking my kids to Disney World. Since I&#8217;m not likely to have time to write while I&#8217;m away, I&#8217;m taking the opportunity to re-run some old classic posts which were first posted in the summer of 2006. These posts are mildly revised. Back when I first wrote this post, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":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}},"categories":[13,31],"tags":[],"class_list":["post-724","post","type-post","status-publish","format-standard","hentry","category-classics","category-intelligent-design"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-bG","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/724","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=724"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/724\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=724"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=724"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=724"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}