Some of you might have heard that Jonathan Schaeffer and his team at the U. of Alberta recently solved the game of checkers. It made big news in the computer science world.
I first met Jon at the First Computer Olympiad in London (organized by the famous David Levy of chess and computer-chess fame) at which Jon’s program won the gold medal and mine won the silver.
Jon and his team eventually computed the eight-piece endgame database for checkers, and later my colleague Ed Trice and I computed it as well. Jon and I compared results, and it turned out that his database had errors that had evaded his error-detection scheme. This scheme produced internally consistent results, despite the errors. Later, Jon detected errors in my database, which were traced back to a scratch on a CD that evaded my error-detection scheme.
All the errors were eventually traced to data transfer anomalies and not the generative computational algorithms, so CRC (cyclic redundancy check) methods were used to solve the problem.
Check out
http://www.cs.ualberta.ca/~chinook/thankyou/
Jon thanks three of us (Ed Gilbert, Gilbert Dodgen, and Ed Trice — how’s that for a strange combination of names?) for database verification.
The bottom line is this: Errors creep in easily, are difficult to detect, and are even more difficult to correct.
Biology apparently does much more than detect and correct errors. It is not only anti-entropic, it is neg-entropic; that is, it mysteriously produces new information despite all the forces of nature that attempt to drive it in the opposite direction.
This is something that materialistic evolutionary theory is completely impotent to explain. How one cannot arrive at a design inference from this obvious evidence is a complete mystery to me.