Life as Evolving Software - Grégory Chaitin (PDF)

Lorsque les mathématiques s'attaquent
(enfin)
à l'évolution

Document pour les matheux/scientifiques qui parlent anglais.

Il s'agit de métabiologie au sens de Chaitin: "metabiology is the study of the evolution of computer programs, with the goal of proving theorems concerning the circumstances under which evolution occurs. It’s ultimate goal, as the name suggests, is proving that under Earth-like conditions, DNA-based computers must evolve."

Traduction libre:
"La métabiologie est l'étude de l'évolution des programmes d'ordinateur, avec comme objectif la preuve de théorèmes concernant les circonstances dans lesquelles l'évolution a lieu. Son but ultime, comme son nom l'indique, est la preuve que sous les conditions terrestres, des modèles informatiques basés sur l'ADN doivent évoluer"

Métabiologie n'est pas encore dans Wikipédia mais ça viendra. J'avais déjà parlé de Chaitin [ici!]. La constante Omega de Chaitin est dans wikipédia.

La naissance de Terminator ne semble plus très loin, bienvenue dans le 21ème siècle ;-)

Samedi 4 avril 2009, ENS, Paris, France - Vers une théorie algorithmique de la vie ? De Darwin à Chaitin - Hector Zenil

Dans le cadre de l'année Darwin à Paris

à l'Ecole Normale Supérieure,

au deuxième étage du 29 rue d'Ulm, salles 236 et 235.

Informations ici

Gregory Chaitin (Lien Wikipédia), l’un des fondateurs de la théorie algorithmique de l’information a repensé la vie en termes de programmes de calcul sujets aux forces de l’évolution naturelle, ce qui pourrait ouvrir un champ tout nouveau pour essayer de comprendre la vie et la nature en termes algorithmiques.

Plus d'informations en français ici : Zenil-FromDarwinToChaitin.pdf présenté par Hector Zenil

Chaitin est, entre autres, l'inventeur des constantes de Chaitin notées Ω ( Omega ) désignant les probabilités qu'un programme s'arrête ;-) . Ne riez pas trop, c'est très sérieux et cela change la perception du monde de la recherche. Pour en savoir un peu plus sur ce fameux nombre Oméga lire cette page extraite de la revue La Recherche ou mieux cette version en pdf

Chaitin aime le langage Lisp. Ce n'est pas un hasard. Il a ainsi publié un certain nombre de livres d'enseignement qu'il a mis en ligne avec entre autre un interpréteur Lisp écrit en Java permettant de faire les exercices de Lisp de ses livres à partir d'un navigateur web avec Java installé.

On trouve ainsi comme livres en ligne The Unknowable , The Limits of mathematics et Exploring RANDOMNESS. Une partie des textes des livres (en anglais) sont accessibles à partir du bas des pages pointées précédemment.

Comme le dit Chaitin lui-même dans la préface de son livre The Unknowable : "In a nutshell, Gödel discovered incompleteness, Turing discovered uncomputability, and I discovered randomness" (voir le livre Meta Math! the Quest for Omega et bien sûr le livre précédent Exploring Randomness)

Plus d'informations sur Gregory Chaitin en anglais sur [son site web officiel ici!] à l'université du Maine ou à l'Université d'Auckland en Nouvelle-Zélande.

Parce qu'il est temps de remettre en place les idées chez certains - Lucy et l'obscurantisme - Pascal Picq - Hominidés

Les écoles françaises ont reçues dernièrement (en provenance de Turquie) un livre richement illustré présentant le créationnisme comme une alternative possible à la théorie de l'évolution.

- Le créationnisme progresse aux Etats-Unis masqué sous une nouvelle dénomination : l'intelligent design (ou dessein intelligent) . Le président Bush reprend à son compte une partie de ces idées.

- En septembre 2006, le pape Benoit XVI souhaite se "garder d’une vision simpliste de la théorie de l’évolution" en reprenant une partie des thèses du dessein intelligent.

Partout dans le monde, et pour des raisons différentes, des groupes d'individus se trouvent un ennemi commun : Charles Darwin.

Pour remettre les idées au clair sur l'évolution vue par les scientifiques spécialistes du sujet, Pascal Picq , collaborateur d'Yves Coppens a écrit un excellent bouquin, Lucy et l'obscurantisme - Pascal Picq - Hominidés accessible à tous !!!