Evidence for, not proof. That said, he was using the correct mathematical definition of "program".
Semantics and more nonsense. You are admitting that it takes a program to make something that works like an organism. Have you seen a program ever write itself? Programs are the product of intelligent design and that evolutionists have been forced to admit that organisms are programmed shows quite well that the theory of evolution has already been disproven.
On this very long thread we exhausted thousands of posts exploring information theory and molecular biology. The emphasis was autonomy and self-organizing complexity. Somewhere along the way I offered the hypothesis that algorithm at inception is proof of intelligence design and provided several methods of falsification. The debate on that thread is particularly informative because of contributions of many Freeper experts and thinkers. There is a lot of useful information to be had but it cannot be realistically copied into this thread.
I dont wish to argue the case again here, but I do suggest anyone interested in the particulars of the debate might want to click on the above link.