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.

Développeurs Windows, celui qui a inventé la "notation hongroise" Charles Simonyi est dans l'espace - Wikipedia / Charles in Space

Charles Simonyi est un développeur de Windows qui a réussi ! . Suffisamment pour se payer des voyages dans l'espace à 30 millions de dollars.

Un développeur de plus dans l'espace après Marc Shuttleworth celui qui est à l'origine de la suite Linux Ubuntu .

Avis aux amateurs :-)

Charles Simonyi est celui qui a la grande époque du développement en C de Windows (année 80/90) a inventé une règle qui était de préfixer le nom des variables par une lettre désignant le type de celles-ci afin d'éviter des erreurs d'affectations et de conversions de type (typiquement le cast en langage C).

Comme Simonyi était d'origine hongroise, on a appelé cela la notation hongroise mais les hongrois n'ont, à part Simonyi, rien à voir avec cette notation.

Cette notation qui était issue du développement en assembleur a été utilisée pour les pointeurs vers les objets de Windows en C et c'est ainsi que les noms de variables désignant des "windows handles" - en français des "poignées de fenêtres" - sont tous préfixés par hWnd , h pour handle et Wnd pour window comme on peut le voir dans cette fonction à l'origine de la création de toute fenêtre si vous êtes sous Microsoft Windows

Voila un texte de ce développeur devenu touriste de l'espace expliquant sa notation.

Cette notation a été reprise et transformée dans d'autres langages mais est commune au développeurs natifs sous Windows. Si vous développez sous .NET vous n'êtes donc presque pas concernés.

Pour en savoir plus : Charles Simonyi - Wikipedia, the free encyclopedia

Et surtout le site de l'intéressé lui-même Charles in Space

NB : Charles Simonyi avant de faire du tourisme a fait des donations très utiles en particulier à l'université anglaise d'Oxford en Angleterre pour la création d'une chaire dédiée à la compréhension de la science par le public et plus particulièrement au professeur Dawkins grand défenseur du darwinisme. Oxford a ainsi une page sur Charles Simonyi . Plus d'information sur [Richard Dawkins ici!] . Plus d'informations sur Charles Simonyi lui-même sur [son histoire en tant que développeur là !]

Vous vous posez peut-être la question: Pourquoi les informaticiens font-ils autant de fautes d'orthographe ?
Réponse : il n'y a ni pluriel ni genre dans les langages informatiques quant aux verbes ils ne se conjuguent pas :-D

En l'honneur de Darwin - compléments : Serial Mapper

Les deux cents ans de Darwin , c'était cette semaine.

Afin d'avoir une image plus réaliste que celle de "l'arbre" de l'évolution, France 5 présente un reportage à voir .

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 !!!