COUP DE FOUDRE A DENVER

Au moins, Ana a le sens de l'humour. Entre sa lutte constante contre sa garde-robe qui ne cesse de rétrécir et son tour de taille qui ne cesse d'augmenter, son patron La grosse fouine et son histoire d'amour unilatérale, elle a vraiment besoin de saisir chaque occasion de rire. Surtout en ce qui concerne Jason, ce beau jeune homme aux yeux verts qui fait partie de la même troupe de théâtre qu'elle et dont elle est tombée éperdument amoureuse. Mais il n'est pas facile de séduire. Comment va-t-elle pouvoir attirer son attention? Sera-t-elle à la hauteur? A-t-elle manqué quelque chose qui était sous ses yeux depuis le début?

Résumé : Loin de la Louisiane qui l'a vue naître, la Créature vient de livrer un âpre combat aux portes du Paradis et de l'Enfer. Il est temps pour elle de retrouver son marais, mais celui-ci n'a plus rien de la tranquillité qui l'habitait. Sa femme, Abby, est absente. Assignée en justice pour "crime contre-nature" , elle a été contrainte de fuir. Le temps n'est plus à la paix désormais, et la colère, qui commençait à sourdre dans le coeur de la Créature, laisse bientôt place à la rage ; celle, violente et profonde, de la Sève tout entière.

Le nom d'Alan Turing est attaché à deux concepts, celui de machine de Turing, qui donne son titre à ce recueil, et celui de test de Turing. Une machine de Turing est un modèle mathématique simple pour tout processus de calcul, dont l'idée de base est qu'un homme en train de calculer peut être comparé à une machine. Ce modèle de la calculabilité a sa source dans un article de 1936 sur les nombres calculables, traduit ici pour la première fois en français. Turing y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables et en déduit que le problème de la décision de Hilbert (Entscheidungsproblem) n'a pas de solution. En 1950, il publie "Les ordinateurs et l'intelligence", qui commence par ces mots : "Je propose de considérer la question : les machines peuvent-elles penser ? . . ". , et où il présente son célèbre jeu de l'imitation comme test décisif. En lisant ces deux articles en miroir, à la lumière des commentaires "critiques" de Jean-Yves Girard, on verra que test et machine de Turing anticipent et éclairent conjointement la révolution informatique de notre siècle.

Si l'invention de l'ordinateur ne peut être attribuée à un personnage unique, le Britannique Alan Turing est un de ceux qui ont aidé - au plan de la théorie et de la logique - à définir ce que pourrait être un modèle mathématique simple pour tout processus de calcul. Cette machine de Turing, explicitée dans un article de 1936, est ici complétée par un autre article fondateur, Les ordinateurs et l'intelligence, où l'auteur met en questions ce qui deviendra l'intelligence artificielle. Deux commentaires critiques du logicien Jean-Yves Girard replacent dans son contexte la pensée de Turing et montrent comment elle anticipe la révolution informatique de notre siècle.