{"id":159,"date":"2006-09-20T12:14:52","date_gmt":"2006-09-20T12:14:52","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2006\/09\/20\/is-evolution-good-enough-it-beats-us\/"},"modified":"2006-09-20T12:14:52","modified_gmt":"2006-09-20T12:14:52","slug":"is-evolution-good-enough-it-beats-us","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2006\/09\/20\/is-evolution-good-enough-it-beats-us\/","title":{"rendered":"Is Evolution Good Enough? It Beats Us."},"content":{"rendered":"<p>One of the bad arguments that I&#8217;ve frequently seen from creationists<br \/>\nis the argument that some biological system is *too good* to be a possible result of an evolutionary process. On its face, this seems like it&#8217;s not a mathematical argument. But it actually is, and math is key to showing what the argument really is, and what&#8217;s wrong with it.<\/p>\n<p><!--more--><br \/>\nLet&#8217;s look at an example of this argument. Last week, on the &#8220;ID the Future&#8221; blog, Cornelius Hunter posted an article titled [&#8220;Design Science&#8221;][hunter] using exactly this argument:<br \/>\n&gt;Darwinists say that evolution created the many biological marvels such as the<br \/>\n&gt;bat&#8217;s biosonar and the fly&#8217;s vision system. They say that an undirected and<br \/>\n&gt;haphazard process just happened to outwit the best scientists and engineers in<br \/>\n&gt;the world&#8211;time and time again. According to Darwinists biological structures<br \/>\n&gt;with unknown function are useless and an obvious sign of an inept, undirected<br \/>\n&gt;process. But biological structures with awesome designs are, on the other hand,<br \/>\n&gt;also supposed to be the product of undirected biological change, such as<br \/>\n&gt;mutations.<br \/>\n&gt;<br \/>\n&gt;Claiming that the bat&#8217;s biosonar or the fly&#8217;s vision system is the result of<br \/>\n&gt;evolution is more speculation than explanation. In fact, that is putting is<br \/>\n&gt;nicely. How silly it would be to unequivocally claim that the most advanced,<br \/>\n&gt;complex designs must have arisen as a consequence undirected biological change.<br \/>\n&gt;A sequence of mutations just happened to produce the most accurate sonar system<br \/>\n&gt;known to humanity.<br \/>\n&gt;<br \/>\n&gt;This is so silly, in fact, that Darwinists usually refrain from saying this. It<br \/>\n&gt;is their theory, but more often than not Darwinists use the more<br \/>\n&gt;plausible-sounding Lamarckian language. The designs, they say, arose as a<br \/>\n&gt;consequence of selection pressure. This explanation violates their own<br \/>\n&gt;principle that biological change must not be initiated or crafted in response<br \/>\n&gt;to need. According to evolution, biological change must be undirected.<br \/>\n&gt;Selection must play a role only after the biological change occurs, not before.<br \/>\n&gt;<br \/>\n&gt;Nor is gradualism a remedy to the problem. Construction of biosonar and<br \/>\n&gt;advanced image processing, one undirected mutation at a time, is no better than<br \/>\n&gt;all at once. In both cases the undirected biological change must hit upon the<br \/>\n&gt;same phenomenal design. Gradualism, however, has the added burden that there<br \/>\n&gt;must exist a very long sequence of finely graded useful intermediates, leading<br \/>\n&gt;to the final design. We know of no such sequence, but we must believe it<br \/>\n&gt;exists. All very amazing for such a lousy process.<br \/>\nThere are two problems with this kind of argument. One is really mathematical,<br \/>\nand one is psychological. Let me get the psych one out of the way first. In our<br \/>\nobservations of the universe, so far, we are the smartest living beings that we<br \/>\nknow about. We tend to be very impressed by our own intelligence, and the things<br \/>\nthat we have accomplished as a result. A lot of people, such as our friend Corny<br \/>\nin the quoted article, believe that this means that intelligence can find the<br \/>\nbest solution to every problem, and that since we are the most intelligent, that<br \/>\nmeans that *we* can\/will find the best solution to every problem. If something<br \/>\nin nature exceeds our ability to imagine\/design a solution, then it<br \/>\n*necessarily* must have been created by something *more* intelligent than us. That&#8217;s a very inflated view of intelligence &#8211; and in particular, an incredibly inflated and egotistical view of humanity. It&#8217;s basically an assertion that *human understanding is a fundamental limit of natural systems*. If we can&#8217;t understand it, it can&#8217;t exist. It we didn&#8217;t think it up first, then it couldn&#8217;t have just happened naturally. I find it ridiculous to claim that somehow nothing in nature, no natural process, can every produce a better result than a human brain. However,  this is ultimately a subjective argument; Cornelius and people like him believe that we belong on some kind of pedestal; people like me don&#8217;t.<br \/>\nThe mathematical argument, however, is not subjective. Evolution can be viewed, mathematically, as an *optimization problem*. An optimization problem is, essentially, a search; we have some problem that has multiple solutions, and we want to find *the best* solution by some metric.<br \/>\nOptimization is a major topic in applied mathematics, and there are quite literally thousands of books published on it. There are numerous techniques that can be used to solve optimization problems. One of them is the evolutionary approach. Evolutionary approaches work in cases where the fitness landscape is basically smooth and continuous &#8211; that is, landscapes without gaps or breaks.<br \/>\nIf the landscape is suitable, evolutionary approaches produce amazing results. For example, in a [timetabling optimization problem][timetable], there are tremendous results from evolutionary approaches &#8211; the evolutionary systems produce *better* results than the hand-optimized human ones. We simply *do not* perform as well at solving this type of problem as the evolutionary computation approach.<br \/>\nEvolutionary approaches to optimization problems do tend  to suffer from one problem: they&#8217;ll often  settle for a local minimum instead of a global. For example, in the curve below, if the optimization problem is getting the red ball to the lowest position, in general, an evolutionary approach will have no problem getting the ball to point 2, which is a good local minimum; but it will have trouble getting over the hump after 2 to find the global minimum at point 3.<br \/>\n<img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"minima.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_66.jpg?resize=299%2C152\" width=\"299\" height=\"152\" \/><br \/>\nThere *is* a solution to that problem which works most of the time called *simulated annealing*. Simulated annealing introduces *noise* into the computation whenever it seems to be settling into a minimum; the idea is if you find yourself coming to a minimum point, you try adding a bunch of extra energy (mutation) to see if there&#8217;s local maximum you can push yourself over. If we look at nature, we find that [something very like simulated annealing occurs during natural evolution!][rate] When the environment suddenly changes in a way that is hostile, the mutation rate of bacteria *increases* beyond what would normally be healthy; this gives them to ability to &#8220;find&#8221; solutions to the environmental change that put them into danger. The usual relatively slow rate at which mutations occur isn&#8217;t enough to produce the change  they need to find a solution; so they start using a faster, more error-prone copy technique in reproduction, which pushes them over the local peaks that might block paths to some change that could allow them to survive.<br \/>\nWhat&#8217;s interesting about simulated annealing is that the technique was developed in the 1980s by a brilliant mathematician named Scott Kirkpatric. It turns out that the work of this brilliant man was *preceeded* by the random process of nature. Bacteria have been doing this since before Kirkpatric thought of the idea. The brilliance of a human was beaten by the randomness of a natural process.<br \/>\nSo, why would a natural evolutionary process *not* find optimal results? Well, there are a couple of arguments, all of which end up falling down:<br \/>\n* There&#8217;s the Dembski &#8220;no free lunch&#8221; nonsense, which I&#8217;ve [discussed before on this blog][nfl]. Basically, it says that evolution can&#8217;t succeed because no fitness function will work on all possible landscapes. Yippee. If NFL were true, evolutionary computation wouldn&#8217;t work either. It does.<br \/>\n* There&#8217;s the Berlinski argument that there&#8217;s one path to success, and it&#8217;s pretty much impossible for a random process like evolution to find it. No good either; evolution doesn&#8217;t follow a single path, nor does it search for a fixed solution. Bats happened to have evolved sonar, which makes them very well-suited towards the nocturnal insect-hunter role that they evolved into. Their cousins, mice and rates, evolved in a *different* direction. From any point, an evolutionary process can follow *many* different paths, and if *any* survive, then the evolutionary process finds *a* solution. The ancestors of bats were rodents that followed *one path*; todays house-mice are rodents whose ancestors followed a different one. Both are equally valid &#8220;solutions&#8221; in evolutionary terms.<br \/>\n* There&#8217;s the local minimum problem: evolutionary processes are good at finding &#8220;downhill&#8221; paths to a minimum (optimal) result; but they don&#8217;t climb hills well. So they can only find solutions that are pretty much all downhill &#8211; a clear downward path from a starting point to an optimum with no bumps along the way. If you think about curves on a 2D graph, most curves have bumps. Again, it&#8217;s not a problem: evolution isn&#8217;t two dimensional. The &#8220;fitness landscape&#8221; has many dimensions &#8211; not one or two, but *hundreds* of dimensions. The more dimensions you add to a curve, the *less* likely you are to wind up in a point where no motion in any direction in any of your dimensions is downhill. You may wind up following a *much* longer path to get to the minimum; and you may wind up going in unexpected directions and arriving at a surprising minimum; but it&#8217;s very rare to find a point in a high-dimensional landscape that&#8217;s a true local minimum in all dimensions. And even in the rare cases where they do, approaches like simulated annealing provide an escape route.<br \/>\n* There&#8217;s the gradualism problem. If you can only make tiny changes, how can you wind up with something so sophisticated? See the previous bullet: in a complex landscape, paths can be quite surprising. Keep changing, and you can find yourself in amazing places &#8211; exactly as we see in nature.  And mix in the fact that the biological evolutionary process is following many paths, and it becomes pretty much *inevitable* that sometimes, you&#8217;ll find that random process winding up with an amazing result.<br \/>\nUltimately, the problem with Corny&#8217;s argument is illustrated by his very last sentence: &#8220;All very amazing for such a lousy process.&#8221; Evolution *isn&#8217;t* a lousy process; it&#8217;s a brilliant one. It&#8217;s an example of a natural optimization process that does an excellent job of traversing the biological fitness landscape. In fact, it&#8217;s hard to imagine a *better* optimization process for a constantly changing fitness landscape.<br \/>\n[hunter]: http:\/\/www.idthefuture.com\/2006\/09\/design_science.html<br \/>\n[timetable]: http:\/\/citeseer.ist.psu.edu\/corne94fast.html<br \/>\n[rate]: http:\/\/gateway.nlm.nih.gov\/MeetingAbstracts\/102244851.html<br \/>\n[nfl]: http:\/\/scienceblogs.com\/goodmath\/2006\/06\/dembski_and_no_free_lunch_with_2.php<\/p>\n","protected":false},"excerpt":{"rendered":"<p>One of the bad arguments that I&#8217;ve frequently seen from creationists is the argument that some biological system is *too good* to be a possible result of an evolutionary process. On its face, this seems like it&#8217;s not a mathematical argument. But it actually is, and math is key to showing what the argument really [&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":[16],"tags":[],"class_list":["post-159","post","type-post","status-publish","format-standard","hentry","category-debunking-creationism"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-2z","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/159","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=159"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/159\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=159"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=159"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=159"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}