Initialement poste à Sur-la-Toile, le 03-06-2007 à 18:55
J'ai interrompu mes commentaires du sous chapitre "recherchons micro-ondes et téléviseurs darwiniens pour répondre à la demande de Nox.
Entre temps, à l'occasion de l'échange de quelques e-mails avec Staune, j'apprenais que Pierre Perrier, un de ses conseillers de Staune, bouffe au petit déjeuner des généticiens comme moi ! Effrayé par la menace qui plane au dessus du Modeste Biologiste™ que je suis, j'entreprends quand même une critique des paragraphes p 313 §4 à p314 §3.
Pierre Perrier, spécialiste de la modélisation (on ne sait pas de quoi sur quoi mais passons), est mentionné par Staune au sujet d'un de ses articles parus dans L'evoluzione : crocevia di scienza, filosofia e teleologia Editions Studium, Rome, 2005, intitulé "Que nous apprend l'analyse mathématique de la micro et de la macro-évolution". Staune utilise une analogie, bien choisie pour prétendre que un "algorithme de contrôle optimal" est nécessaire pour résoudre certaines situations.
Utilisons une analogie : un robot peut arriver au sommet d'une montagne avec un jeu d'instructions très simple l'amenant à grimper toujours plus haut, s'il peut gravir la montagne de façon régulière et en ligne droite. Mais s'il doit monter, redescendre, chercher son chemin, remonter, redescendre, etc. , pour arriver au sommet, alors il faut :
- soit que le robot sache qu'il a un but à atteindre
- soit que, avant de commencer à redescendre, le robot explore à distance les chemins qui lui permettent de remonter.
J'espère que ce passage n'a pas eu l'approbation de PP mangeur de généticiens comme moi et spécialiste de la modélisation. Et que l'erreur incombe uniquement à Jean Staune.
Je reprends donc l'analogie du robot de Jean Staune pour construire un bot sous forme de script (que j'ai nommé JeanWalker) qui ne sait pas qu'il a un but à atteindre (d'ailleurs ce n'est pas qu'il ne le sait pas, c'est qu'il n'en a pas tout court, faut avoir l'esprit contaminé par le téléologisme pour vouloir à tout prix qu'il y ait un but), qui n'a aucun moyen d'explorer à distance les chemins qui lui permettent de remonter mais qui arrive à dépasser un minimum local sans problème.
L'algorithme a été conçu à l'aide d'un sous-bock approprié (sans impression à l'envers) et d'un porte-mine 0.7 mm, au cours de la consommation de la quatrième pinte de stout de la soirée, par un Modeste Biologiste; il a fallu un peu moins de 40 sec.
L'implémentation est en Applescript (seul outil de programmation que ledit MB maîtrise vaguement) et le script est donné ici (Applescript, donc besoin d'un Mac) au profit de ceux qui veulent vérifier qu'il n'y a pas de "contrôle optimal" inclus; deux cafés ont été consommés pendant ce travail inhumain pour un programmeur du dimanche, et comme je dis souvent, programmeur du dimanche 29 février :-)
Pour tester JeanWalker j'ai dessiné un paysage simple, constitué d'un premier sommet A, d'une vallée B et d'un deuxième sommet C. Le bot est toujours placé en bas à gauche du paysage (point rouge) et il est "lâché".
JeanWalker "monte" tant qu'il peut. S'il n'arrive plus à monter (ayant atteint l'optimum local A) il s'ennuie et commence à se déplacer horizontalement, de façon aléatoire. Eventuellement, à un moment il finira par "tomber" dans la vallée B et il continue son chemin erratique jusqu'à pouvoir à nouveau "monter", sur le sommet C. S'il atteint les coordonnées [6, 6] le script s'arrête de tourner et rend la main avec l'historique dans le presse-papier. On peut alors le coller dans un tableur et tracer le graph du déplacement, pour mieux visualiser ce qui s'est passé.
Invariablement, après un nombre de "tours" plus ou moins important (imprévisible, le changement de coordonnées x étant aléatoire) JeanWalker atteint les coordonnées [6, 6] ! Mazette !
Et ce sans qu'il ait un but et sans pouvoir explorer à distance quoi que ce soit. Voici le graph de deux historiques.
Et voici le graph du nombre d'étapes nécessaires pour 12 run de JeanWalker. Ca n'a aucune importance ici, mais je reviendrai sur ça un peu plus tard, en continuant la critique de The Book.
Et quelques remarques associées qui serviront pour la suite de ma critique.
Quand le script s'arrête, on sait que JeanWalker se trouve aux coordonnées [6, 6]. On connaît par ailleurs le mécanisme qui lui a permis d'atteindre ce point. Mais tant qu'on n'a pas examiné le contenu du presse-papier (qui correspond à l'historique), nous sommes incapables de dire quel chemin a été parcouru. Il en va de même de l'évolution d'une espèce : on connaît le mécanisme, on connaît le résultat, mais nous sommes incapables de donner le chemin exact, personne n'ayant enregistré les diverses étapes. On peut avoir une approximation grâce au "registre des fossiles" mais elle est partielle et ne peut pas être basée sur les génotypes, l'ADN n'étant pas souvent accessible.
Le nombre des chemins est quasi-infini (à la précision de la machine près pour les décimales et du nombre d'étapes nécessaires). Ce qui fait que la probabilité que deux run produisent des graphs identiques est très faible.
Si on n'arrête pas le script sur la condition [6, 6], il continue tranquillement son chemin. L'arrêt n'est là que pour pouvoir récupérer les données, ce n'est pas un contrôle quelconque de l'historique.
Je reviendrai sur ces points plus tard donc.
La question se pose : Comment quelqu'un qui a fait des maths et de l'informatique au niveau bac+5 et dit avoir réalisé une enquête scientifique (je parle de Jean Staune bien entendu), conseillé par un membre de l'Académie des Technologies spécialiste de "modélisation" (avec des habitudes alimentaires matinales bizarres, je parle de Pierre Perrier) n'a pas été capable d'arriver à un bot aussi simple que celui que je présente ici, capable de dépasser des vallées... Et ce, durant les 20 dernières années.
C'est probablement dû à ce que j'ai nommé la "chute de QI induite" que l'on observe chez tout un chacun lors qu'il s'occupe de sujets qui ne lui tiennent pas à coeur, chez les néo-créationnistes en particulier lors qu'il s'agit de logique simple.
Enfin, maintenant on sait que c'est possible et que tous les raisonnements bâtis sur l'impossibilité prétendue par Staune pour résoudre ce problème doivent être revus entièrement.
Est attendu aux rayons des librairies outre-atlanique, le livre de Michael Behe "The Edge of Evolution", qui se base sur une série de réflexions très proches à celles que Jean Staune utilise. Les gens qui ont eu entre les mains les exemplaires destinés à la critique en parlent déjà.
Une critique qui m'évitera beaucoup de travail a été publiée par Marc Chu-Carroll (en, je demande autorisation de la traduire et de la publier ici ou sur mon blog). Certains trouveront le ton de Marc un peu trop polémique à leur goût. Je le trouve juste. La partie la plus marrante est que William Dembski, le matheux de la bande du Discovery Institute, n'ayant rien à répondre à la critique de fond, s'est fendu d'un post puant (en).
NB Si quelqu'un se sent l'envie de soigner un peu le code de l'Applescript je lui paie un pot à la première occasion. Si quelqu'un pourrait en faire un Java (ou autre) qui puisse tourner sur d'autres systèmes que Mac OS je lui paie deux pintes Je suis en train d'investir lourdement.