Titres et rŽsumŽs des articles de la rubrique

"Logique et calcul"

de Jean-Paul Delahaye

 du journal Pour la science

1991-2012

¥ Utilisez cette page pour faire des recherches de sujets.

Exemple : en utilisant la  fonction "recherche dans la page" de votre navigateur, vous saurez que "Conway" est mentionnŽ dans les articles de dŽcembre 2009, avril 2009, octobre 2008, avril 2007, juin 2004, mars 1996, janvier 1996, novembre 1991, ou que les anamorphoses sont ŽvoquŽes en avril 2005 et juillet 2003.

¥ Si vous souhaitez avoir des copies d'articles en version pdf

   envoyez un mail ˆ :    delahaye@lifl.fr 

   ou alors regarder l'url de exemple

Voir 199

¥2012¥

229 "ætre normal, pas si facile !", [En 1908, ƒmile Borel se demande sÕil est possible que toutes les sŽquences de chiffres soient reprŽsentŽes de faon Žgale dans le dŽveloppement dŽcimal dÕun nombre rŽel. Il prouve que cÕest le cas le plus frŽquent... mais ne propose pas dÕexemples. Depuis le travail des mathŽmaticiens autour des nombres normaux est incessant. Turing s'y est intŽressŽ, et ce n'est que rŽcemment qu'on a pris la mesure de ce qu'il avait dŽcouvert.], dŽcembre 2012, pp. 126-131.

228 "Les entiers ne naissent pas Žgaux", [Il est impossible de dŽfinir une loi de probabilitŽ uniforme sur l'ensemble des nombres entiers. Ce fait est Žtroitement liŽ ˆ la loi de Zipf, une loi statistique dont les manifestations sont innombrables et qui est liŽe ˆ la loi de Benford et la complexitŽ de Kolmogorov.], novembre 2012, pp. 80-85.

227 "La suite de Stern-Brocot, sÏur de Fibonacci", [Si la dŽfinition de la suite diatomique de Stern est ŽlŽmentaire, sa structure est riche de propriŽtŽs. Elle est le nÏud central dÕun vaste rŽseau de relations dont on dŽcouvre chaque annŽe des prolongements. Les merveilleux liens qu'elle entretient avec la suite de Fibonacci et la numŽration binaire sont Žtonnamment dŽlicats et subtils. La faon dont on en tire une ŽnumŽration complte et sans rŽpŽtition des fractions (les nombres rationnels) est totalement inattendue et semble magique. ], octobre 2012, pp. 86-91.

226 "Les plaisirs du rectangle", [Trois mille ans de gŽomŽtrie nÕont pas ŽpuisŽ tout ce quÕun mathŽmaticien peut dire de lÕŽlŽmentaire figure gŽomŽtrique du rectangle. D'incroyables et beaux thŽormes Žmergent de ce travail jamais terminŽ.], septembre 2012, pp. 80-85.

225 "Combiner des pertes pour gagner", [LÕidŽe que, en associant plusieurs jeux dŽfavorables, on puisse en obtenir un favorable est choquante. Les exemples de telles situations, dont le premier est dž au chercheur Juan Parrondo, sont pourtant nombreux et variŽs. L'analyse du Çparadoxe de ParrondoÈ demande un peu d'attention, mais nous conduit ˆ une subtile conclusion.], aožt 2012, pp. 82-87.

224 "L'accrochage des tableaux", [Comment accrocher un tableau avec n clous et une ficelle, de faon ˆ ce quÕen enlevant nÕimporte lequel des clous, le tableau soit libŽrŽ et glisse vers le sol ? Une sŽrie de jolis problmes rŽcrŽatifs na”t de cette question qui nous fait plonger dans l'algbre abstraite... rendue concrte.], juillet 2012, pp. 82-87.

223 "La cryptographie visuelle", [Une information cachŽe peut appara”tre instantanŽment ˆ notre Ïil qui, presque aussi bien quÕun ordinateur, lÕextrait dÕimages grises. C'est le principe de la cryptographie visuelle qui propose des mŽthodes dont les effets semblent souvent miraculeux.], juin 2012, pp. 86-91.

222 "La malŽdiction de la mauvaise file", [Sur la route, quand vous tes pris dans un ralentissement, la file voisine est presque toujours plus rapide que la v™tre. VŽritŽ ou impression? La question donne lieu ˆ toutes sortes de remarques et de calculs troublants et mme ˆ quelques paradoxes.], mai 2012, pp. 84-89.

221 "Pour prouver, tous les moyens sont bons", [Les activitŽs mathŽmatiques ne se rŽduisent pas ˆ appliquer les rgles d'une logique fixŽe une fois pour toutes. Dessins, petits films, programmes observŽs, interactions physiques, etc., sont en rŽalitŽ lÕoccasion de mener des dŽmonstrations aussi rigoureuses que lÕŽcriture minutieuse des preuves formelles. Les vrais mathŽmaticiens ne sont pas dogmatiques. ], avril 2012, pp. 92-97.

220 "L'impossible hasard", [Depuis les premiers dŽs, il y a trois millŽnaires, lÕhomme imagine et fabrique des objets pour produire du hasard. A-t-il rŽussi? La mŽcanique quantique donne-t-elle la solution ? Les dŽcimales des nombres transcendants sont-elles utiles ? Le problme n'est pas encore parfaitement rŽsolu.], mars 2012, pp. 88-93.

219 "La conjecture du carrŽ inscrit", [Placer sur une courbe fermŽe quatre points formant les coins dÕun carrŽ est toujours possible en pratique pour chaque courbe qu'on envisage. Cela mme, si la courbe est fractale. CÕest bien, mais comment en tre certain ? Personne n'a rŽussi ˆ le dŽmontrer. Heureusement les variantes du problme sont parfois plus faciles et certaines intŽressantes et amusantes, comme celle de Çla table sur un monticuleÈ.], fŽvrier 2012, pp. 82-87.

218 "L'autorŽplication ma”trisŽe ?", [Les astucieux et patients travaux pour perfectionner et simplifier le modle dÕautorŽplication de von Neumann ont enfin abouti : on sait la programmer et on la voit se dŽrouler sur nos Žcrans. Ils nous font rŽflŽchir ˆ ce quÕest lÕautoreproduction du vivant, et la chose est moins simple qu'on ne l'a souvent prŽtendue. L'automate replicator, les boucles de Langton ne rŽsolvent que des versions trop simplifiŽes du problme que cherchait ˆ traiter von Neumann.], janvier 2012, pp. 82-87.

217 "Les problmes NP sont-ils si compliquŽs ?", [Existe-t-il des algorithmes pour rŽsoudre rapidement les problmes, dits ÇNP-completsÈ qui nŽcessitent pour lÕinstant un temps de calcul inaccessible (c'est-ˆ-dire exponentiels) ? La plupart  des mathŽmaticiens pensent que non, mais ils Žchouent ˆ le dŽmontrer.], Dossier Les grands problmes mathŽmatiques, janvier 2012, pp. 88-93.

216 "L'incomplŽtude, le hasard et la physique", [Le logicien Leonid Levin a dŽmontrŽ un rŽsultat qui renforce le thŽorme d'incomplŽtude de Gšdel ; il en tire la conclusion quÕaucun procŽdŽ physique (pas mme ceux utilisant le hasard tirŽs de la mŽcanique quantique) ne peut contourner le fameux rŽsultat de 1930. L'incomplŽtude de Gšdel est en rŽalitŽ une ÇincomplŽtabilitŽÈ. ], Dossier Les grands problmes mathŽmatiques, janvier 2012, pp. 68-73.

215 "J'aimerais tant prouver Syracuse", [La conjecture de Syracuse (ou problme de Collatz) affirme que les suites de nombres construites selon la rgle Çsi a(n) pair alors a(n+1) = a(n)/2, sinon a(n+1) = 3a(n)+1È conduisent nŽcessairement ˆ 1, quel que soit le point de dŽpart a(0). MalgrŽ des progrs rŽcents et lÕintŽrt de nombreux mathŽmaticiens professionnels et amateurs, sa dŽmonstration rŽsiste encore. ], Dossier Les grands problmes mathŽmatiques, janvier 2012, pp. 98-103.

¥2011¥

214 "La logique de la perfection", [Les logiciens ne manquent pas de culot. Ils se permettent de raisonner sur dÕhypothŽtiques tres omnipotents ou omniscients et concluent, de faon presque catŽgorique, ˆ lÕimpossibilitŽ de leur existence. Les diverses approches qu'ils essaient sont toutes intŽressantes et riches d'enseignements subtils. On est conduit ˆ se demander : Est-ce que la meilleure faon de faire de la thŽologie, n'est pas de se consacrer aux mathŽmatiques ?], dŽcembre 2011, pp. 80-85.

213 "Les surprises du pile ou face", [Les erreurs de nos jugements spontanŽs sont parfois Žtonnantes. Le hasard crŽŽ par les lancers dÕune pice de monnaie en est lÕexemple le plus frappant : tout y semble paradoxal.], novembre 2011, pp. 146-151.

212 "La ma”trise des nombres premiers", [Comme lÕeau et le feu, les polyn™mes et les nombres premiers se rencontrent et donnent naissance ˆ un violent bouillonnement... mathŽmatique. La science arithmŽtique progresse, et les exemples donnŽs ici en sont la preuve la plus flagrante. ], octobre 2011, pp. 88-93.

211 "Le principe de Peter", [La diffŽrence entre un texte humoristique et des travaux universitaires sŽrieux est parfois mince. Le principe de Peter (qui exprime en gros qu'en gravissant les Žchelons d'une hiŽrarchie on devient de plus en plus incompŽtent) est lÕexemple mme dÕune loi dont le statut est incertain. Son Žtude a rŽcemment donnŽ lieu ˆ des simulations informatiques intŽressantes, qui mettent en Žvidence un lien entre le principe de Peter et la vieille loi de la rŽgression vers la moyenne.], septembre 2011, pp. 82-87.

210 "La culturomique", [LÕincroyable corpus de textes de plus de cinq millions de livres, rŽuni rŽcemment par une Žquipe internationale de chercheurs dŽvoile des phŽnomnes linguistiques insouponnŽs. AnnŽe aprs annŽe la frŽquence d'usage des mots et expressions a ŽtŽ calculŽe. ], aožt 2011, pp. 88-93.

209 "Le dŽfi des faibles complexitŽs", [Comme les trs petites durŽes ou longueurs, les faibles complexitŽs sont dŽlicates ˆ estimer. Hector Zenil propose une mŽthode nouvelle pour traiter le problme et rŽussir le calcul approchŽ de la complexitŽ de Kolmogorov des sŽquences binaires courtes.], juillet 2011, pp. 82-87.

208 "Le calculateur amnŽsique", [Un calculateur sans mŽmoire est-il sŽrieusement limitŽ ? Les rŽsultats de lÕalgorithmique in situ montrent que non : avec un peu dÕastuce, il sÕen sortira toujours.], juin 2011, pp. 88-93.

207 "Infini et impossible", [Placer une infinitŽ dÕimpossibilitŽs dans un seul dessin est un jeu qui semble futile. Il produit pourtant de troublantes images o lÕÏil est mis ˆ rude Žpreuve. ], mai 2011, pp. 88-93.

206 "Du rve ˆ la rŽalitŽ des preuves", [Les ordinateurs ne savent pas prouver seuls des thŽormes profonds. Cependant, gr‰ce aux assistants de preuve, ils garantissent les dŽmonstrations dŽcouvertes par les mathŽmaticiens. Cela change, et changera encore plus demain, la nature et les formes de l'activitŽ mathŽmatique.], avril 2011, pp. 90-95.

205 "Mesurer les chercheurs", [La folie Žvaluatrice dans le monde de la recherche scientifique a provoquŽ une multiplication des mŽthodes numŽriques de notation des chercheurs et de leurs travaux. LÕindicateur de Hirsch ou H-index est devenu le moyen le plus expŽditif d'Žvaluer un chercheur. Il sera trs utile.. si on s'en mŽfie. ], mars 2011, pp. 88-93.

204 "Le Rubik's cube : pas plus de 20 mouvements !", [Le Rubik's cube est le numŽro un des casse-tte. On vient de dŽmontrer que : quelle que soit la configuration initiale, 20 mouvements permettent de remettre le cube en ordre.], fŽvrier 2011, pp. 98-103.

203 "Persuader de son savoir sans le transmettre", [Les preuves sans transfert de connaissance sont une merveilleuse et improbable invention de la cryptographie moderne. Ce qui semblait impossible est en fait rŽalisable ...et utilisŽ en sŽcuritŽ informatique et en cryptographie.], janvier 2011, pp. 88-93.

¥2010¥

202 "Tangram", [Les problmes mathŽmatiques que pose le cŽlbre jeu ne sont pas tous rŽsolus... Philippe Moutou s'en occupe.], dŽcembre 2010, pp. 88-93.

201 "LÕensemble de tous les ensembles", [Certaines thŽories permettent d'envisager un ensemble de tous les ensembles sans introduire de contradiction. A c™tŽ de ZF, d'autres mŽthodes provenant des idŽes de Bertrand Russell rŽussissent ˆ Žviter les paradoxes ensemblistes.], novembre 2010, pp. 146-151.

200 "Les nombres premiers insolites", [On peut s'amuser avec nombres premiers et... Chris Caldwell et Garland Honaker ne s'en privent pas !], octobre 2010, pp. 88-93.

199 "Suicide et immortalitŽ quantiques", [La conception d'Everett de la mŽcanique quantique permettrait d'envisager de curieux (et dŽments) protocoles pour gagner de l'argent, mener sans frais des expŽriences scientifiques, ou rŽsoudre des questions mathŽmatiques. Une sorte d'Žpouvantable immortalitŽ en rŽsulterait aussi.], septembre 2010, pp. 82-87.

198 "LÕautomate des chiffres", [Un nouvel automate cellulaire a ŽtŽ inventŽ par Eric Angelini. Son Žtude est dŽlicate et intrigante.], aožt 2010, pp. 80-85.

197 "De nouvelles dŽcimales de Pi", [Les mŽthodes utilisŽes par Fabrice Bellard pour battre le record de calcul des dŽcimales de Pi renouvellent ce sport vieux de deux millŽnaires.], juillet 2010, pp. 80-85.

196 "LÕunivers mathŽmatique", [Le physicien cosmologue Max Tegmark propose d'Žtudier sŽrieusement l'hypothse que le monde physique serait purement mathŽmatique.], juin 2010, pp. 90-95.

195 "Le pizza•olo mathŽmaticien", [Ne croyez pas que dŽcouper une pizza est un problme mathŽmatique simple. Une sŽrie de thŽormes viennent d'tre proposŽes expliquant comment tre Žquitable.], mai 2010, pp. 88-93.

194 "Faire fortune avec les longues tra”nes", [Internet ouvre des perspectives nouvelles pour gagner de l'argent avec des produits nombreux, mme lorsque aucun ne se vend beaucoup.], Dossier LÕre dÕinternet, mai 2010, pp.102-105.

193 "Les secrets de Google", [Les moteurs de recherche se perfectionnent chaque jour un peu plus, mais est-il normal que les algorithmes de leurs systmes de notation restent secrets ?], Dossier LÕre dÕinternet, mai 2010, pp.64-69.

192 "Tao : lÕŽducation rŽussie dÕun surdouŽ", [Est-il le plus gŽnial de tous les mathŽmaticiens contemporains ? Son extraordinaire crŽativitŽ semble le dŽmontrer.], avril 2010, pp. 84-89.

191 "Un terrain de course numŽrique", [Les familles de nombres premiers mnent entre elles des courses effrŽnŽes dont l'issue ш l'infiniÑ ne peut tre comprise qu'ˆ l'aide de dŽlicats rŽsultats d'arithmŽtique qu'on ne dŽcouvre que trs progressivement.], mars 2010, pp. 88-93.

190 "Quand la physique dŽmontre des thŽormes mathŽmatiques", [Certains dispositifs physiques agissent comme des dŽmonstrateurs de thŽormes mathŽmatiques. Mark Levi en fait la collection dont les meilleurs sont prŽsentŽs et illustrŽs.], fŽvrier 2010, pp. 88-93.

189 "Non ! La gŽomŽtrie du triangle nÕest pas morte", [L'utilisation de l'ordinateur se rŽvle utile ˆ la rŽsolution de problmes apparemment simples concernant d'ŽlŽmentaires  figures.], janvier 2010, pp. 88-93.

¥2009¥

188 "Libre arbitre et mŽcanique quantique", [Le cŽlbre mathŽmaticien John Conway aidŽ du physicien Simon Kochen Žtablit un nouveau pont entre philosophie et mŽcanique quantique. Attention l'affaire est trs dŽlicate.], dŽcembre 2009, pp. 96-101

187 "Escroquerie ou jeu risquŽ ?", [Les pyramides de Ponzi posent de difficiles problmes (en plus de vous ruiner si vous vous laissez prendre), dont celui purement logique de dŽterminer o passe l'argent qu'y s'y engouffre et qu'on ne retrouve nulle part.], novembre 2009, pp. 136-141

186 "Une folie mathŽmatique", [Un nouveau paradoxe de la prŽdiction vient d'tre proposŽ par Christopher Hardin et Alan Taylor. FondŽ sur l'axiome du choix, comme le paradoxe de Banach-Tarski, il vous plongera dans un ab”me de perplexitŽ dont vous ne sortirez pas facilement.], octobre 2009, pp. 86-91.

185 "La plaisante logique des chapeaux", [Les nombreuses Žnigmes o il faut deviner la couleur du chapeau qu'on a sur la tte rŽservent de belles surprises. Vous y mesurerez votre ingŽniositŽ.], septembre 2009, pp. 88-93.

184 "Les 27 petits cubes de Piet Hein", [Les fameux cubes de Soma continuent de rŽjouir les amateurs de casse-tte mathŽmatiques.], aožt 2009, pp. 80-85.

183 "La rŽpartition idŽale des biens existe-t-elle ?", [Comment distribuer au mieux des biens lorsque l'on cherche ˆ maximiser l'intŽrt collectif ? L'Žconomie et les systmes multi-agents se rencontrent pour y rŽflŽchir. ],  juillet 2009, pp. 88-93 (co-auteur Ph. Mathieu)

182 "Graphes et algorithmes pour ballons", [La thŽorie des graphes concerne tout le monde, mme les artistes de musical qui gonflent et assemblent prestement des ballons colorŽs. Erik Demaine, Martin Demaine et Vi Hart montrent que la thŽorie des classes de complexitŽ n'est pas loin.], juin 2009, pp. 88-93.

181 "Mille collections de nombres", [Les dictionnaires de nombres sont bien plus nombreux et variŽs qu'on ne l'imagine. Certains suggrent des Žnigmes dŽlicates, dont celle du fossŽ de Sloane.], mai 2009, pp. 88-93.

180 "Le royaume du Jeu de la vie", [La persŽvŽrance et la passion des amateurs du Jeu de la vie de Conway mettent ˆ notre disposition de merveilleuses configurations aux propriŽtŽs inespŽrŽes (comme celle qui Žnumre les nombres premiers), et un programme ultra-rapide (Golly) qui calcule plus vite que cela semble matŽriellement possible.], avril 2009, pp. 86-91.

179 "StratŽgies magiques au pays de Nim", [Les stratŽgies parfaites pour gagner aux jeux de Nim et ˆ leurs gŽnŽralisations sont Žtonnantes de puissance et d'ŽlŽgance mathŽmatique. Une introduction au thŽorme de Sprague-Grundy et aux nimber.], mars 2009, pp. 88-93.

178 "Le dŽsordre total nÕexiste pas", [Le problme de l'hexagone vide qu'on vient juste de rŽsoudre n'est qu'un des merveilleux problmes de la thŽorie de Ramsey. Un certain S‡rkšzy (attention aux accents !) s'y illustre. Le sens gŽnŽral des rŽsultats de cette thŽorie est que Çds qu'une structure est assez grande, alors elle contient de l'ordreÈ.], fŽvrier 2009, pp. 86-91.

177 "Presque tout est indŽcidable", [Les indŽcidables de Gšdel sont non seulement nombreux, mais certains rŽsultats de logique dŽmontrŽs par Cristian Calude signifient qu'en fait ce sont les rŽsultats dŽcidables qu'on doit considŽrer comme  exceptionnels !], janvier 2009, pp. 88-93.

¥2008¥

176 "La gŽomŽtrie du bricolage", [Le thŽorme Žtait attendu depuis des annŽes : les assemblables de polygones avec charnires permettent toujours de passer d'un polygone A ˆ un autre B, pourvu que A et B possdent la mme aire.], dŽcembre 2008, pp. 100-105.

175 "Bricoles, babioles et surprises numŽriques", [Les amateurs de curiositŽs arithmŽtiques posent parfois de redoutables questions. Il y en a ˆ propos des nombres de Friedman, des nombres vampires, des nombres narcissiques, etc.] novembre 2008, pp. 144-149.

174 "SurrŽalisme mathŽmatique", [Les nombres surrŽels (surreal numbers) de John Conway sont l'une de plus belle dŽcouverte des mathŽmatiques du XXe sicle. Ils permettent de penser le continu (donc le temps et l'espace) d'une nouvelle faon.], octobre 2008, pp. 104-109.

173 "Le jeu des pousses", [Ce jeu (sprouts game en anglais)  est si difficile que pour progresser, il faut que l'homme et l'ordinateur travaillent ensemble. Simon Viennot et Julien Lemoine ont dŽcouvert comment organiser cette association. Ils sont depuis champion du jeu. ], septembre 2008, pp. 90-95.

172 "Imaginer l'infini ou le dŽcouvrir ?", [L'infini est-il une invention des mathŽmaticiens dont ils fixent plus ou moins librement les propriŽtŽs ? Ou alors, existe-t-il indŽpendamment des mathŽmaticiens qui ne font que l'explorer et le dŽcouvrir ? Ce sont lˆ des questions que les dernires avancŽes faites au sujet de l'Hypothse du continu (HC) par Hugh Woodin amnent ˆ repenser. ], aožt 2008, pp. 90-95.

171 "Deux sculpteurs de mathŽmatiques", [George Hart et Bathsheba Grosmann tirent de la gŽomŽtrie des idŽes nouvelles pour produire leurs Žtonnantes structures. L'impression en 3 dimensions (par le procŽdŽ de stŽrŽolithographie ou par une autre technique mise ˆ la disposition de l'industrie pour le prototypage rapide) constitue une aide prŽcieuse ˆ la rŽalisation de formes autrement impossibles ˆ crŽer. Une fois conue mathŽmatiquement et dŽcrite numŽriquement dans la mŽmoire de l'ordinateur, l'Ïuvre se rŽalise toute seule. ], juillet 2008, pp. 90-95.

170 "Surplombs maximaux",  [Empiler des sucres ou des briques sans utiliser ni colle ni ciment est bien plus compliquŽ et subtil qu'on ne l'imagine. Mike Paterson et Uri Zwick font avancer cette science et dŽcouvrent d'incroyables empilement stables que personne n'avaient jamais envisagŽs.], juin 2008, pp. 90-95.

169 "DŽconcertantes conjectures", [La suite des palindromes numŽriques (partant d'un entier, on le renverse et on additionne jusqu'ˆ tomber sur un palindrome) est facile ˆ suivre jusqu'au bout pour la plupart des points de dŽpart. Le cas particulier de 196 (196+691=887 ; 887+788=7436, etc) Žchappe ˆ toutes les tentatives de solutions. Pour 196, on ne trouve jamais de palindrome et on Žchoue ˆ dŽmontrer qu'il n'y en a jamais. Cela, malgrŽ  la mis en Ïuvre de calculs par ordinateur ayant fonctionnŽ pendant des annŽes.], mai 2008, pp. 92-97.

168 "Une propriŽtŽ cachŽe des graphes", [Le thŽorme des mineurs de Neil Robertson et Paul Seymour s'exprime en 14 mots : dans toute suite infinie de graphes, l'un est le mineur d'un autre (c'est-ˆ-dire contenu dans l'autre). Pourtant c'est l'un des thŽormes les plus profonds et les plus difficiles jamais  dŽmontrŽs.], avril 2008, pp. 92-97.

167 "Rves de livres inŽpuisables", [Imaginer un livre possŽdant une infinitŽ de pages conduit ˆ divers modles Žtranges, amusants et inattendus. Ces livres nous plongent dans les dŽlicats problmes de la topologie du continu. Le livre de Cantor et celui de Roland YŽlŽhada sont proprement dŽconcertants. ], mars 2008, pp. 90-95.

166 "Pierre, feuille, ciseaux", [Le jeu se joue dans les cours des Žcoles maternelles. Pourtant les chercheurs n'ont pas fini d'en comprendre les finesses et y trouvent d'Žtonnantes applications. Certains lŽzards y semblent soumis. ], fŽvrier 2008, pp. 90-95.

165 "La fin des dames anglaises", [Les Checkers (jeu de dames sur un tableau 8-8) sont dŽfinitivement rŽsolus. Aprs de nombreuses annŽes de recherche, une stratŽgie optimale a ŽtŽ mise au point par une Žquipe rŽunie autour de Jonathan Schaefer. Faire mieux que l'ordinateur est donc dŽfinitivement impossible pour ce jeu. Pour le jeu d'Echecs, un tel rŽsultat absolu restera probablement hors de portŽe encore de longues annŽes. ], janvier 2008, pp. 90-95.

¥2007¥

164 "Les longues tra”nes", [Vendre de petites quantitŽs d'un produit ˆ chaque fois, mais disposer d'un trs grand nombre de produits diffŽrents : voilˆ ce que permet Internet. Cela ouvre de nouvelles voies au commerce Žlectronique lui donnant accs ˆ des marchŽs autrefois nŽgligŽs. Cris Anderson explique que la sociŽtŽ Amazon exploite ce phŽnomne statistique, (aussi dŽnommŽ distributions ˆ queues Žpaisses). ], dŽcembre 2007, pp.90-95.

163 "Les pavages fins", [Paver le plan ˆ l'aide d'une quantitŽ infinie de cercles de rayon non nul est-il possible ? Qu'en est-il avec des Y ou des + ? Et si on remplace le plan par l'espace ? Ce sont lˆ d'intrigantes  questions de gŽomŽtrie. Leurs solutions exigent astuce et... finesse.], novembre 2007, pp.90-95.

162 "La marelle arithmŽtique", [Benoit Cloitre a inventŽ un remarquable jeu de tableaux numŽriques que les amateurs de nombres pratiqueront avec dŽlice. En observant le tableau, on repre immŽdiatement les diviseurs d'un entier, les nombres premiers, et bien d'autres choses. La conjecture de Goldbach (tout entiers pairs > 2 est somme de deux nombres premiers) y prend une forme gŽomŽtrique. ], octobre 2007, pp.90-95.

161 "Une scytale informatique", [Les transformations bijectives d'images (dont la transformation du Photomaton est un bel exemple ; voir article 048) possdent des versions fractales. Les courbes de Peano conduisent en effet ˆ de curieux mŽlanges de pixels ouvrant des possibilitŽs cryptographiques et stŽganographiques.], septembre 2007, pp.90-95. (co-auteur Ph. Mathieu).

160 "Trouver le simple est compliquŽ", [Les plus beaux problmes sont ceux dont la solution est simple et inattendue. DŽcouvrir cette simplicitŽ est parfois un redoutable exercice d'intelligence. Cette petite collection de problmes Ñla plupart empruntŽe ˆ un livre de Peter WinklerÑ fera le dŽlice des amateurs.], aožt 2007, pp.90-95.

159 "Trompeuses statistiques", [Le livre de Nicolas Gauvrit sur les piges de la statistique fournit de nombreux exemples de paradoxes et de manipulations que chacun devrait conna”tre.], juillet 2007, pp. 90-95.

158 "L'incroyable problme de Freudenthal", [Dans ce qui est peut-tre le plus beau de tous les problmes de divertissement logique, l'information donnŽe par l'ŽnoncŽ semble insuffisante. Il faut rŽflŽchir longuement Ñet calculer un peuÑ pour dŽcouvrir pourquoi elle ne l'est pas.], juin 2007, pp. 90-95.

157 "L'incomplŽtude, le hasard et la physique", [Les nouveaux rŽsultats de Leonid Levin conduisent ˆ une interprŽtation inattendue du phŽnomne d'incomplŽtude logique dŽcouvert par Kurt Gšdel. Non seulement l'arithmŽtique de Peano est incomplte, mais en un sens prŽcis aucun espoir de la complŽter n'est permis, mme en exploitant le hasard auquel la physique (par exemple la mŽcanique quantique) nous.donne accs.], mai 2007, pp.90-95.

156 "Le problme de l'ange est rŽsolu", [Est-il possible de dŽplacer un pion de manire ˆ ce qu'il Žchappe ˆ la prison que l'adversaire construit progressivement ? C'Žtait lˆ une question posŽe par John Conway il y a plus de 20 ans. Elle vient seulement d'tre rŽsolue.], avril 2007, pp. 90-95.

155 "La suite du lŽzard et autres inventions", [Eric Angelini propose une gŽnŽralisation de la notion de nombre premier et il faudra donc maintenant parler de nombres seconds, de nombres troisimes, etc.. Il introduit aussi des suites numŽriques, aux dŽfinitions qui se mordent la queue et qui sont en quelque sorte des suites numŽriques fractales. La suite de la dŽcimation est envožtante. ], mars 2007, pp 90-95.

154 "Les limites logiques et mathŽmatiques", [Le progrs mathŽmatique prŽsente deux aspects. D'une part, on dŽmontre que certaines choses sont faisables et on en construit la solution. D'autres part, on Žtablit rigoureusement l'impossibilitŽ  de la solution de questions qu'on essayait sans succs de rŽsoudre. De l'irrationalitŽ de la racine de 2,  et de la quadrature du cercle, aux rŽsultats de limitation logique, cette seconde face des mathŽmatiques ne cesse de s'enrichir.], fŽvrier 2007, pp.14-17.

153 "La rŽvolution des Ïillets", [Lacer ses chaussures n'est pas simple du tout... pour un mathŽmaticien. Une science arithmŽtique et combinatoire du laage est nŽe. Un livre de Burkard Polster en pose les bases.], fŽvrier 2007, pp.90-95.

152 "L'Žtonnante loi de Benford", [Il est plus probable qu'un nombre commence pas un '1' que par un '2'. C'est la paradoxale et pourtant mille fois vŽrifiŽe loi de Benford.], janvier 2007, pp.90-95.

¥2006¥

151 "La simulation par ordinateur change-t-elle les sciences ?" [Venant en complŽment de l'Žtude par les  mathŽmatiques des modles formels que la science dŽfinit, la simulation informatique apporte de plus en plus souvent des informations sur ce que rŽussissent ou ne rŽussissent pas ˆ reproduire les modles proposŽs ˆ titre d'hypothses par les chercheurs.], Introduction au dossier PLS La modŽlisation 2006. (co-auteur F. Reichenman")

150 "Le miraculeux Çlemme de BursideÈ", [Ce rŽsultat Žtrange et un peu mystŽrieux conduit directement ˆ des dŽnombrements qui sans lui seraient difficiles. Savez-vous par exemple qu'il y a 57 dŽs diffŽrents quand on dispose de trois couleurs pour peindre les 6 faces ?],  dŽcembre 2006, pp. 90-95.

149 "Concevoir l'univers comme un ordinateur", [Konrad Zuse, Edward Fredkin, Stephen Wolfram et tout rŽcemment Seth Lloyd  ont chacun dŽfendu que l'univers dans sa totalitŽ doit tre vu comme une immense machine ˆ calculer.  Cela n'est pas sans rapport avec la nouvelle de science-fiction Žcrite par Isaac Asimov "The last question" et conduit ˆ s'interroger sur la possibilitŽ d'une poursuite sans limite de la vie dans l'Univers.], novembre 2006, pp. 90-95.

148 "Impossibles ! En tes-vous certain ?", [Les figures impossibles (dont on attribue l'invention ˆ Oscar Reutersvard) et dont Escher a fait de magnifiques gravures sont en rŽalitŽ parfaitement possibles. Les fabriquer et les photographier est devenu un art paradoxal et dŽlicieusement astucieux.], octobre 2006, pp. 90-95.

147 "Des mots magiques infinis", [La suite de Thue-Morse se retrouve partout en mathŽmatiques, mais aussi dans les arts et les jeux. D'autres suites sans cubes ou sans mots rŽpŽtŽs intŽressent l'informatique thŽorique et les arithmŽticiens.], septembre 2006, pp. 90-95.

146 "Vivre serein dans un monde cruel", [Les compŽtitions entre communautŽs sociales ou Žconomiques suivent des rgles prŽcises que les simulations informatiques aident ˆ Žlucider. On en tire des modles simplifiŽs du monde et de nouvelles idŽes sur la faon de faire Žmerger la coopŽration et de la consolider.], aožt 2006, pp. 90-95   (co-auteur  R. Dorat).

145 "Dominons les dominos", [L'assemblage de dominos Ñles rectangles 2x1Ñ pour crŽer des formes gŽomŽtriques est une source remarquable de problmes  gŽomŽtriques et logiques. On y trouve de tout : du casse-tte facile pour amuser les Žlves et les amateurs de divertissements mathŽmatiques, aux conjectures rŽcalcitrantes qui font sŽcher les professionnels.], juillet 2006, pp. 90-95

144 "Loto et loteries", [Les idŽes fausses et superstitieuses concernant les jeux d'argent de type loto masquent quelques idŽes simples et mathŽmatiquement Žtablies que chacun devrait avoir en tte avant de remplir une grille. Savez-vous par exemple que les numŽros les moins jouŽs sont 32 38 39 42 43 et que cela peut vous aider ˆ... perdre moins.], juin 2006, pp. 90-95.

143 "Calculs et coulissement", [Les casse-tte de type Taquin ou Ane rouge sont parfois d'une grande difficultŽ. On a pu d'ailleurs dŽmontrer qu'ils appartenaient ˆ la classe des problmes PSPACE-complets, ce qui ™te tout espoir de trouver un algorithme gŽnŽral permettant de les rŽsoudre rapidement.], mai 2006, pp. 90-95.

142 "Jos Leys, un artiste gŽomtre", [Les mathŽmatiques dŽcouvrent des structures dont la beautŽ depuis toujours Žmerveille les chercheurs. Jos Leys le sait et avec l'aide de son ordinateur, il rŽussit ˆ produire d'extraordinaires images qui permettent ˆ tous d'apprŽcier les joyaux de l'abstrait mathŽmatique.], avril 2006, pp. 90-95.

141 "Le hasard gŽomŽtrique n'existe pas", [L'esprit humain est programmŽ pour repŽrer les rŽgularitŽs les mieux cachŽes. Cela a pour Žtrange consŽquence qu'il ne sait pas produire correctement des suites alŽatoires ou mener des choix ŽquilibrŽs. Des protocoles expŽrimentaux prŽcis conduisent ˆ visualiser clairement cette limitation de l'esprit humain.], mars 2006, pp. 90-94 (co-auteur  Nicolas Gauvrit).

140 "Le merveilleux tour des cinq cartes", [Parmi les tours de cartes automatiques (c'est-ˆ-dire ne demandant aucune adresse particulire ˆ celui qui l'exŽcute), le tour prŽsentŽ ici appara”t totalement paradoxal. L'information disponible au magicien est clairement insuffisante pour qu'il devine votre carte... et pourtant.], fŽvrier 2006, pp. 90-94.

139 "La sŽgrŽgation urbaine : une fatalitŽ ?", [Le prix Nobel d'Žconomie Thomas Schelling a proposŽ un modle simplifiŽ de ville o la sŽgrŽgation entre communautŽs survient mŽcaniquement et fatalement. Est-ce une explication satisfaisante de ce que nous voyons dans les villes rŽelles ?], janvier 2006, pp. 90-95.

¥2005¥

138 "On se sacrifie pour nuire aux autres", [Le dilemme de l'ultimatum met en Žvidence que, d'une sociŽtŽ ˆ l'autre, les comportements sociaux et les attentes Žgalitaristes varient sensiblement.], Dossier hors sŽrie "Les chemins de la logique", 2005, pp.108-112.

137 "DŽmonstrations et certitudes en mathŽmatiques", [Les preuves mathŽmatiques donnent-elles une certitude absolue de justesse ? La rŽponse est dŽlicate du fait de l'impossibilitŽ dŽmontrŽe de prouver la consistance des systmes logiques sur lesquels on s'appuie et du fait de l'utilisation d'ordinateurs pour certaines preuves.] Dossier hors-sŽrie "Les chemins de la logique",  2005, pp.38-43.

136 "Le tsunami du Sudoku", [Ce jeu logique et combinatoire passionne des millions de gens. Que peut-on en dire du point de vue du mathŽmaticien.], dŽcembre 2005, pp.144-149.

135 "DŽmocratie et notoriŽtŽ sur Internet", [L'algorithme PageRank se fonde sur une idŽe mathŽmatique et il a contribuŽ au succs sans prŽcŽdent de la firme Google. Encore une dŽmonstration de l'importance Žconomique de la recherche mathŽmatique parfois considŽrŽe abstraite et futile.], novembre 2005, pp.90-95.

134 "Le trŽsor et les Sophie", [Le cŽlbre problme du Monty Hall (ou problme des trois portes) qui donna lieu ˆ tant de controverses est abordŽ de front. On essaie de formuler des arguments dŽfinitifs. Bien sžr, il n'est pas certain que tout le monde les accepte. D'autres paradoxes probabilistes sont discutŽs.], octobre 2005, pp..90-94.

133 "Quelles pices pour faire l'appoint ?", [Le systme le plus courant pour les pices de monnaie est 1, 2, 5, 10, 20, 50, 100, etc. Est-ce le meilleur ? La question a ŽtŽ ŽtudiŽe avec soin par Jeffrey Shallit et les rŽponses Žtonnent.], septembre 2005, pp..90-95.

132 "Un algorithme ˆ un million de dollars", [Tout le monde aujourd'hui a entendu parler de la conjecture P­NP. Savez-vous vraiment ce qu'elle signifie ? Est-il raisonnable d'espŽrer la rŽsoudre prochainement ? Que pense les experts.], aožt 2005, pp.90-95.

131 "Flexagones", [Ce sont des pliages de feuilles de papiers qui se comportent Žtrangement quand on les manipule. Leur histoire commence avec un groupe d'Žtudiants autour de Richard Feynman. Les Žtudier et en inventer de nouveaux intŽresse une large communautŽ d'amateurs.], juillet 2005, pp. 88-93.

130 "Marques d'intelligence", [Comment en observant le ciel ou en Žcoutant les Žtoiles avoir la certitude qu'on vient de dŽtecter la trace d'une vie extraterrestre intelligente ? La question est importante et a donnŽ lieu ˆ de volumineuses Žtudes... thŽoriques.], juin 2005, pp.88-93.

129 "MathŽmatiques expŽrimentales", [Les mathŽmaticiens n'ont pas besoin d'expŽriences, car ils se fondent sur les preuves. C'est ˆ cette conception traditionnelle que s'opposent aujourd'hui des chercheurs de plus en plus nombreux. Bien sžr, la possibilitŽ nouvelle d'utiliser des ordinateurs puissants pour explorer les structures abstraites n'est pas Žtrangre ˆ cette Žvolution.], mai 2005, pp.88-93.

128 "Apparitions magiques", [L'anamorphose est un art optique ancien. Ses dŽformations calculŽes et l'usage de miroirs courbes permettent de cacher des images secrtes. Aujourd'hui l'ordinateur et le talent de certains artistes Ñdont Istvan OroszÑ renouvellent le genre.], avril 2005, pp.88-93.

127 "La dŽlicate gŽomŽtrie du carrŽ", [Le dŽcoupage d'un carrŽ en carrŽs plus petits devient difficile si on impose des rgles restrictives comme celle de ne pas utiliser deux sous-carrŽs de mme taille. Il s'en dŽduit toute une discipline dont les productions sont assimilables ˆ un art gŽomŽtrique nouveau.], mars 2005, pp.90-95.

126 "Coloriages irrŽels", [La solution par Alexandre Soifer et Saharon Shelah d'un problme ŽlŽmentaire de coloriage envisagŽ par Edward Nelson en 1950, dŽpend de l'acceptation ou non de l'axiome du choix. Ce rŽsultat nouveau Žtonne les mathŽmaticiens qui ne pensaient pas que cet axiome puisse concerner un domaine aussi "concret".], fŽvrier 2005, pp. 88-93.

125 "Ceci n'est pas le titre", [L'autorŽfŽrence joue un r™le central en logique... et dans le domaine du divertissement mathŽmatique. L'inventivitŽ des amateurs est Žtonnante et produit des rŽsultats dŽlicieux.], janvier 2005, pp.88-92.

¥2004¥

124 "Les dŽs pipŽs du cerveau", [Notre perception du hasard est imparfaite. Une multitude d'expŽriences le prouvent dont celles en particulier o on demande ˆ un sujet de produire des choix aussi alŽatoires que possible.], dŽcembre 2004, pp.90-95.

123 "La musique mathŽmatique de Tom Johnson", [La musique est de nature mathŽmatique, mais celle de ce musicien plus particulirement car c'est ce qu'il recherche dŽlibŽrŽment. Nombres premiers, suites numŽriques fractales, dessins gŽomŽtriques, tout peut servir pour structurer l'espace sonore et y faire entendre les mathŽmatiques.], novembre 2004, pp.88-93.

122 "La traversŽe du pont", [Les cas les plus simples de cette catŽgorie d'Žnigmes servent de test d'intelligence. Sous sa forme gŽnŽrale, il faut mener un raisonnement dŽlicat pour en venir ˆ bout.], octobre 2004, pp. 90-95.

121 "Ambigrammes", [Jeux gŽomŽtriques et typographiques par excellence, ces formes se lisent doublement. Cet art de la calligraphie subtile et ambigu‘ a ses ma”tres : Scott Kim, Gilles Esposito-Farse .],septembre 2004, pp. 98-103.

120 "Sommes-nous rŽels ?", [Le paradoxe de la simulation de Nick Bostrom est sans doute fondŽ sur une erreur de raisonnement. Identifier laquelle n'est pas facile. S'il n'y a pas de faute, alors notre existence est fictive.], aožt 2004, pp. 90-94.

119 "Les nombres zŽbrŽs", [Les dŽcimales des nombres rŽels prŽsentent parfois des rŽgularitŽs et certains montrent des rayures. Comprendre ces structures dans leur dŽveloppement est un jeu.], juillet 2004, pp. 90-95.

118 "Des nombres bien plus grands que vous ne l'imaginez", [Les entiers dŽsignent des quantitŽs finies, mais ce fini est parfois Žnorme. RŽussir ˆ imaginer jusqu'ˆ quel point et dŽfinir les notations adaptŽes est tout un travail que Conway, Knuth et quelques autres mathŽmaticiens ont menŽ trs trs... trs loin.], juin 2004, pp. 90-95.

117 "Couleurs des chapeaux et codes correcteurs d'erreurs", [Un casse-tte logique est parfois le dŽpart d'une recherche mathŽmatique. Ici une banale histoire de chapeaux nous plonge dans la thŽorie arithmŽtique qui permet de contr™ler les fautes de copie des systmes informatiques.], mai 2004, pp. 90-95.

116 "Labyrinthes de longueur infinie", [Les courbes de Peano (et de Hilbert) remplissent des aires non nulles, ce qui est apparu paradoxal. Ce n'est pourtant que le dŽbut d'une sŽrie de surprises gŽomŽtriques et la naissance de la science des fractales.], avril 2004, pp.90-95.

115 "Classer musiques, images, textes et gŽnomes", [La thŽorie de la complexitŽ de Kolmogorov semblait sans applications concrtes. On vient de s'apercevoir qu'elle conduisait ˆ de miraculeuses mŽthodes de classifications automatiques.], mars 2004, pp.90-95.

114 "Calculer dans un monde hyperbolique", [Si la gŽomŽtrie de notre monde Žtait hyperbolique la classe de problmes NP-complets (considŽrŽe comme une classe de problmes impossibles ˆ rŽsoudre rapidement) ne poserait plus de difficultŽ.], fŽvrier 2004, pp. 90-95.

113 "DŽmontrer ?", [L'informatique change-t-elle la nature des mathŽmatiques ? Certains le croient et, utilisant leur ordinateur, prouvent qu'elle permet d'envisager diffŽremment la notion de preuve.], janvier 2004, pp. 90-95.

¥2003¥

112 "Les chiffres de la complexitŽ informatique", [Quelle est la mŽmoire de votre ordinateur ? Sa puissance ? Celle de tous les ordinateurs sur terre ? Celle du monde quand on l'assimile ˆ un ordinateur ? etc.], dŽcembre 2003, pp.162-167.

111 "La complexitŽ mesurŽe par la longueur des programmes", [La taille du plus court programme capable de produire une image ou une donnŽe informatique est par dŽfinition sa complexitŽ de Kolmogorov. Voila le point de dŽpart de la thŽorie universelle de la complexitŽ.],  dŽcembre 2003, pp.34-38.

110 "Vite, inventeur de la cryptanalyse mathŽmatique", [ Concevoir de nouveaux codes et casser les codes secrets des ennemis est un travail mathŽmatique ancien. Vite y excella.] novembre 2003, pp.90-95.

109 "La barrire de Turing", [Est-il concevable que certains systmes physiques mnent des calculs que les ordinateurs usuels (Žquivalents ˆ des machines de Turing) ne puissent effectuer ? La question est l'objet de controverses.], octobre 2003, pp.90-95.

108 "L'emprise des cavaliers", [Le jeu d'Žchec suggre des problmes combinatoires nombreux. Couvrir un Žchiquier avec un minimum de  cavaliers est l'un d'eux. Le raisonnement et l'ordinateur sont indispensables.], aožt 2003, pp.90-95.

107 "La Belle au bois dormant, la fin du monde et les extraterrestres", [La notion d'anamorphose probabiliste est un outil thŽorique qui permet la rŽsolution de plusieurs paradoxes dont le trs discutŽ Çparadoxe de l'ApocalypseÈ de Brandon Carter et John Leslie.], juillet 2003, pp.98-103

106 "Que le monde est petit !", [La thŽorie de graphes alŽatoires est moins simple que ce qu'on a longtemps pensŽ. Surtout si on veut qu'elle nous aide ˆ comprendre les graphes immenses qu'on rencontre en observant le monde social et les rŽseaux informatiques.], juin 2003, pp.98-103.

105 "Les lecteurs ne jouent pas au hasard", [ Les lecteurs qui ont participŽ au jeu proposŽ par la rubrique montrent qu'il est difficile d'tre original. Pire, en croyant l'tre, on fait le plus souvent comme tout le monde.], mai 2003, pp.98-103. (co-auteur Ph. Mathieu)

104 "Paver des pavŽs", [DŽcouper une forme en formes identiques est ˆ l'origine de jolis et parfois trs difficiles problmes gŽomŽtriques.], avril 2003, pp.98-103.

103 "L'ordinateur ultime", [La limite absolue de ce qu'on peut attendre d'un ordinateur est dŽterminŽe par la mŽcanique quantique.], mars 2003, pp.98-103.

102 "On se sacrifie pour nuire aux autres", [En Žconomie on fait l'hypothse que les sujets se comportent rationnellement. Pourtant des expŽriences montrent que nombreux sont les agents prts ˆ payer pour nuire ˆ leur voisin... ce qui est Žconomiquement absurde.], fŽvrier 2003, pp. 98-103.

101 "Savoir si un nombre est premier ? Facile", [On vient de dŽmontrer un rŽsultat attendu depuis longtemps : tester la primalitŽ d'un entier de longueur n ne demande qu'un temps de calcul polynomial en fonction de n.], janvier 2003, pp. 98-102.

¥2002¥

100 "DŽcoupages articulŽs", [Greg Frederickson est le spŽcialiste des problmes de dissections gŽomŽtriques (exemple : dŽcouper un carrŽ en quelques morceaux qui se disposent en triangle ŽquilatŽral). Ses nouveaux dŽcoupages avec charnires Žtonnent par leur beautŽ et leur astuce.], dŽcembre 2002, pp. 164-169.

099 "Le monde mathŽmatique existe-t-il ?", [Marc Balaguer formule une analyse nouvelle et remarquable du problme de la philosophie des mathŽmatiques. Pour lui l'indŽtermination radicale de l'ontologie est totale et les deux positions extrmes que sont le platonisme et l'anti-platonisme se rejoignent.], novembre 2002, pp. 98-102.

098 "L'informatique thŽorique", [Depuis 20 ans, les avancŽes de l'informatique thŽorique sont remarquables. C'est une science nouvelle liant mathŽmatiques et techniques qui s'est constituŽe, ˆ la fois abstraite et remarquablement utile. Le bouillonnement d'idŽes qui s'y manifeste offre de multiples opportunitŽs ˆ tous les chercheurs qui peuvent bien plus qu'en mathŽmatiques prendre des initiatives et inventer un monde nouveau.], octobre 2002.

097 "La mŽmoire  de l'humanitŽ", [Jusqu'ˆ maintenant, l'essentiel de la mŽmoire  de notre civilisation Žtait dŽposŽ sur du papier ou des supports analogiques (film, bandes sonores magnŽtiques, etc). Nous sommes  en train de mettre en place un monde o tout sera conservŽ sous format numŽrique et sera inscrit sur des supports magnŽtiques et optiques digitaux (disques durs, CD, DVD, etc). Cette rŽvolution de l'information a de multiples consŽquences.], septembre 2002, pp. 98-103.

096 "Un jeu ˆ Žpisodes pour l'ŽtŽ", [Le jeu du Ping se joue avec des pions ˆ double face sur un tableau NxM. Il amne d'intŽressants raisonnements combinatoires et arithmŽtiques. L'ordinateur est indispensable ds que le N et M deviennent grands.], aožt 2002, pp.98-102.

095 "Les machines pensent-elles ?", [Passer le test de Turing est un objectif ˆ long terme de l'Intelligence Artificielle. Le Prix Lobner permet chaque annŽe de mesurer les progrs de la recherche et montre que le chemin sera encore long avant qu'une machine puisse de manire convaincante se faire passer pour un tre humain.], juillet 2002, pp. 98-102.

094 "Nombres premiers inŽvitables et pyramidaux", [L'arithmŽtique propose de nombreux divertissements : trouver des nombres premiers  qui lorsqu'on les raccourcit le restent (exemple : 3315133, 31513, 151, 5) est l'un des jeux auxquels les passionnŽs s'adonnent avec dŽlices.], juin 2002, 98-102.

093 "Les nombres omŽga", [Ces nombres introduits par Gregory Chaitin sont les plus extraordinaires des nombres jamais inventŽs en mathŽmatiques. Par exemple  : ils sont tous  transcendants et quand on ne retient qu'un chiffre sur 2 de leurs dŽcimales (ou un sur k) ils donnent ˆ nouveau des nombres transcendants.], mai 2002, pp. 98-103.

092 "Notre vision du hasard est bien hasardeuse", [L'effet r‰teau, le paradoxe des anniversaires, l'attente excessive d'Žtalement,  voilˆ quelques exemples de faits qui aident ˆ comprendre la prŽtendue "loi des sŽries". Ils permettent ainsi de rŽaliser que, bien souvent, malgrŽ une perception inverse, les sŽries numŽriques groupŽes et les co•ncidences apparentes n'ont rien d'Žtranges et n'exigent aucune explication particulire.], mars 2002, pp.98-103.

091 "Nombres amiables et suites aliquotes", [Un nombre parfait est un nombre qui est Žgal ˆ la somme de ses diviseurs propres (28 = 1+2+4+7+14) Ds l'AntiquitŽ, on s'est passionnŽ pour ces amusettes arithmŽtiques. Aujourd'hui, on a beaucoup progressŽ, mais de nombreux mystres persistent et sans doute pour longtemps.], fŽvrier 2002, pp.98-103.

090 "L'eaurdinateur", [Bernard Gitton sait fabriquer des horloges ˆ eau prŽcises en combinant tuyaux, balanciers et siphons. Il sait aussi faire calculer des circuits hydrauliques... des eaurdinateurs.], janvier 2002, pp.98-103.

¥2001¥

089 "L'union fait la faiblesse", [Mener simultanŽment plusieurs paris dont chacun est statistiquement gagnant, crŽe parfois un pari perdant. Bizarre, non ? Les lecteurs de la rubrique proposent de nouveaux exemples.], dŽcembre 2001, pp.98-103.

088 "Pourquoi nous calculons si difficilement ?", [Notre faible capacitŽ de calcul et notre mauvaise mŽmoire des chiffres Ñchacune ridicule face aux ordinateursÑ n'empchent pas que nous sommes plus intelligents qu'eux. Comment expliquer ce paradoxe ?], octobre 2001, pp.98-103.

087 "L'enfer des paris", [Trois situations probabilistes paradoxales rencontrŽes en Žtudiant des paris.], septembre 2001, pp.98-102.

086 "Le beau doit-il tre complexe ?", [Les outils de la thŽorie de la complexitŽ de Kolmogorov proposent une nouvelle analyse du rapport entre esthŽtique et simplicitŽ. Le critre proposŽ par Roland YŽlŽhada conduira-t-il ˆ la crŽation d'une algorithmique artistique ?.], juillet 2001, pp.98-103.

085 "L'agent secret joue aux cartes", [La cryptographie moderne conduit ˆ concevoir des mŽthodes de codage ŽlŽmentaires et robustes. Avec un simple jeu de cartes, on sait coder des messages d'une faon trs sžre.], juin 2001, pp.100-104.

084 "Jusqu'o l'ordinateur calculera-t-il ?", [La loi de Moore est vŽrifiŽe depuis plus de trente ans. La puissance de calcul disponible pour une somme d'argent donnŽe est multipliŽe par 10 tous les 5 ans (ce qui est Žquivalent ˆ une multiplication par 2 tous les 18 mois). Cela a produit une multiplication par un million en 30 ans.], mai 2001, pp.100-105.

083 "Le jeu des erreurs sŽduisantes", [Une sŽrie de raisonnements qui paraissent parfaitement justes, mais qui sont totalement faux. Le jeu consiste ˆ dŽcouvrir o sont les erreurs.], mars 2001, pp.100-105.

082 "Ce qui est faux peut tre utile", [L'histoire des mathŽmatiques est parsemŽe d'exemples d'erreurs utiles. Assez Žtrangement, les historiens des sciences n'insistent gure sur ce sujet.], fŽvrier 2001, pp.100-105.

081 "Les nombres infinis vers la gauche", [Les nombres rŽels sont infinis vers la droite. Moins connus et plus Žtranges, les nombres dŽcadiques sont infinis vers la gauche. Introduction.], janvier 2001, pp.100-104.

¥2000¥

080 "L'infini est-il paradoxal en mathŽmatiques ?",  [On pensait l'infini paradoxal ; Bolzano, Cantor et leurs successeurs  nous ont montrŽ comment le dompter et se faufiler en lui sans "attraper" aucune contradiction. ], dŽcembre 2000, pp. 30-38. PubliŽ simultanŽment dans les Žditions allemande, italienne et espagnole du Scientific American.

079 "MathŽmatiques et philosophie", [Les thŽormes mathŽmatiques ont un contenu philosophique et le thŽorme de Gšdel n'est pas le seul. Peut-tre mme que ce sont eux qui nous aideront ˆ rŽsoudre les grands problmes d'ŽpistŽmologie.], novembre 2000, pp.100-104.

078 "NumŽrologie et co•ncidences", [Les chiffres associŽs (arbitrairement) ˆ votre nom ou ˆ votre date de naissance dŽterminent-ils votre profession, votre avenir et vos amours ? Pour le croire il faut tre niais. La plus bte des superstitions a pourtant des adeptes.], septembre 2000, pp.100-104.

077 "La mise en pice d'un carrŽ", [L'art du dŽcoupage d'un carrŽ progresse encore et de nouveaux problmes surgissent. On dŽcoupe aussi le cube !], aožt 2000, pp.96-100.

076 "Logique de la tŽlŽportation", [La question de la tŽlŽportation suggre une sŽrie de questions qui ne sont pas toutes de la science-fiction. La logique, la mŽcanique quantique et la thŽorie de l'information ont leur mot ˆ dire.], juin 2000, pp.28-34.

075 "Des nombres ˆ la lettre", [L'Žcriture des nombres a inspirŽ Nicolas Graner qui s'est demandŽ quel Žtait le plus grand nombre premier dont l'Žcriture n'utilise pas la lettre 'e'. Ce genre de problmes apparemment futiles exige patience et mŽticulositŽ.], mai 2000, pp.102-107.

074 "Le dilemme du renvoi d'ascenseur", [Un tout petit changement dans la formulation du dilemme itŽrŽ des prisonniers accro”t la difficultŽ de la coopŽration. Pour bien jouer l'utilisation du hasard est maintenant devenue nŽcessaire.], mars 2000, pp.102-106. (co-auteur Ph. Mathieu).

073 "Raccourcis dans les dŽmonstrations", [Les mathŽmaticiens n'Žcrivent tous les dŽtails de leurs preuves. Ce serait trop difficile. Malheureusement, c'est la porte ouverte ˆ tous les abus... et aux erreurs.], fŽvrier 2000, pp.96-101.

072 "La cryptographie RSA vingt ans aprs", [Petite histoire d'un cryptosystme au succs inattendu et sans Žgal. Ce code ˆ double clef (clef secrte et clef publique) autorise ce qui appara”t comme des Žchanges secrets miraculeux.] janvier 2000, pp.104-108.

¥1999¥

071 "Promenade au pays des indŽcidables", [L'indŽcidabilitŽ dŽcouverte par Kurt G™del concerne toutes les disciplines mathŽmatiques. Certains ŽnoncŽs assez simples  d'arithmŽtique ont ŽtŽ montrŽs indŽcidables.], dŽcembre  1999, pp.196-1200.

070 "Les propositions indŽcidables", [Le concept d'indŽcidable de Gšdel n'est pas compliquŽ : c'est une proposition A, telle que le systme de dŽmonstrations S qu'on a choisi pour travailler, ne peut dŽmontrer ni A ni NON A. Si on oublie de mentionner S, on dit des btises, ce qui est frŽquent.], novembre 1999, pp.104-109.

069 "Un nombre premier ˆ 50 000 $", [DŽcouvrir et expliciter de trs grands nombres premiers n'est pas facile. On peut mme gagner de l'argent. Mieux vaut s'y mettre ˆ plusieurs pour rŽussir et utiliser la puissance colossale de calcul que donne les rŽseaux informatiques.], octobre 1999, pp.104-109.

068 "L'intelligence humaine ˆ nouveau dominŽe ?", [Le jeu du pair et de l'impair est le plus simple de tous les jeux. Pourtant, notre difficultŽ ˆ adopter des comportements vraiment imprŽvisibles, nous rend moins bon joueur que les ordinateurs.], septembre 1999, pp.102-106.

067 "La numŽrologie du nombre d'or", [Le nombre (1+racine(5))/2 ou section dorŽe est mathŽmatiquement intŽressant. Cependant, il ne l'est pas plus que racine(2), racine(3), Pi ou e. Une sorte de superstition trs rŽpandue lui attribue des propriŽtŽs esthŽtiques exceptionnelles que rien de sŽrieux n'atteste.], aožt 1999, pp.108-113.

066 "Des surprises dans le monde de la coopŽration", [Le dilemme itŽrŽ des prisonniers se prŽsente comme un jeu ŽlŽmentaire. Pourtant sans simulations numŽriques, il est impossible de deviner quelles sont les meilleures stratŽgies.], Dossier spŽcial, juin 1999, pp.58-66. (co-auteur Ph. Mathieu)

065 "Premiers jumeaux : frres ennemis ?", [Les nombres 11 et 13 sont premiers et espacŽs de 2 unitŽs : ce sont des nombres premiers jumeaux. On sait en trouver de trs grands, mais personne n'a rŽussi ˆ montrer qu'il existe une infinitŽ de paires de tels nombres. Leur Žtude a conduit ˆ dŽcouvrir les erreurs de calcul d'un processeur Pentium d'INTEL], juin 1999, pp.102-106.

064 "Les chasseurs de nombres premiers", [Les amateurs de rŽcrŽations arithmŽtiques dŽfinissent toutes sortes de nombres premiers  (palindromes, raccourcissables, .etc.) et font tourner leurs ordinateurs pour constituer leurs collections.], avril 1999, pp.100-105.

063 "Les dŽcoupages artistiques", [La dissection de polygones en pices pouvant en reconstituer d'autres est un jeu gŽomŽtrique dŽlicat. Harry Lindgren et aujourd'hui Greg Frederickson en sont les ma”tres incontestŽs.], mars 1999, pp.100-105.

062 "Formules pour les nombres premiers", [Certains ne le croient pas et pourtant c'est vrai. Il existe des formules mathŽmatiques simples qui ne donnent que des nombres premiers, et mme qui Žnumrent tous les nombres premiers sans oubli et sans rŽpŽtition.], fŽvrier 1999, pp.100-105.

061 "NŽgligeable mais troublant", [Les sous-ensembles de mesure nulle de l'ensemble de nombres rŽels sont parfois beaucoup plus gros qu'on ne l'imagine. La situation est ˆ la limite de l'absurde et contribue ˆ faire douter que les nombres rŽels existent vraiment.], janvier 1999, pp.100-105.

¥1998¥

060 "Champernowne et quelques autres", [Les dŽveloppements dŽcimaux des nombres rŽels prŽsentent des rŽgularitŽs intŽressantes. Nombres algŽbriques, transcendants. Automates.], dŽcembre 1998, pp.102-106.

059 "Ecriture sous contraintes", [Les membres de l'Oulipo (OUvroir de LIttŽrature POtentielle) jouent avec les mots et les structures mathŽmatiques. Ils ne sont pas seuls.], novembre 1998, pp.102-107.

058 "Le rangement de la bo”te de cubes", [Les casse-tte qui proposent de faire entrer des objets dans volume fixŽ sont parfois faciles. Certains sont redoutables. ], octobre 1998, pp.108-115

057 "Les martingales et autres illusions", [Au casino Ñet en particulier ˆ la rouletteÑ, on peut jouer plus ou moins bien. On a dŽmontrŽ que la mŽthode du jeu hardi est la meilleure], septembre 1998, pp.100-105.

056 "Les lois nouvelles de l'informatique quantique", [L'impossibilitŽ de dupliquer certaines informations, la tŽlŽportation instantanŽe, l'intrication, et bien d'autres choses Žtranges rŽgissent l'information quantique. ] aožt 1998, pp.66-72.

055 "Certitudes sans dŽmonstrations ?", [L'inverseur de Simon Plouffe propose de retrouver d'o viennent les nombres dont vous ne connaissez que quelques dŽcimales. Les fractions continues se rŽvlent bien utiles.] juillet 1998, pp.100-105.

054 "Les conqutes des polyminos", [Les Žnigmes que posent les assemblages de carrŽs sont amusantes, mais donnent lieux aussi ˆ d'intŽressantes mathŽmatiques], juin 1998, pp.116-121.

053 "La conjecture de Syracuse", [Ce "problme de Collatz" ou "problme 3x+1" passionne les amateurs de divertissements mathŽmatiques... et les professionnels qui espre venir ˆ bout de cet agaant dŽfi.], mai 1998, pp.100-105.

052 "Les fractions et leurs mystres", [Le dŽveloppement dŽcimal d'un nombre rationnel, p/q, devient toujours pŽriodique ˆ partir d'un certain point. Quel point ? Quelle pŽriode ?], avril 1998, pp.100-105.

051 "AlŽas du hasard informatique", [La gŽnŽration de suites pseudo-alŽatoires et le hasard pour cryptologues.], mars 1998, pp.92-97.

050 "Les preuves sans mots", [L'art de mener une dŽmonstration avec quelques petits dessins.], fŽvrier 1998, pp. 100-105.

049 "Le monde des machines", [La vision de Bruno Marchal.], janvier 1998, pp.100-104.

¥1997¥

048 "Images brouillŽes, images retrouvŽes", [Sur la transformation du Photomaton et plus gŽnŽralement sur les transformations bijectives d'images.], dŽcembre 1997, pp.102-106. (co-auteur Ph. Mathieu)

047 "Statut mathŽmatique des contradictions", [Les mathŽmatiques peuvent-elles tolŽrer la prŽsence de contradictions ?], novembre 1997, pp.164-168.

046 "L'art du tri", [Les algorithmes de tri : les plus efficaces ne sont pas ceux auxquels on pense en premier.], octobre 1997, pp.100-104.

045 "L'ordinateur mathŽmaticien", [A propos de la dŽmonstration de la conjecture de Robbins par un programme  informatique.], septembre 1997, pp.100-104.

044 "Voyageurs et baguenaudiers", [La suite de Gray (ou des Gros-Gray) et son utilisation pour rŽsoudre des casse-tte.], aožt 1997, pp.100-104.

043 "Les vŽritŽs mathŽmatiques", [On peut dŽmontrer qu'un objet mathŽmatique existe, sans pour autant savoir le construire. C'est le problme des preuves non constructives.], juillet 1997, pp.100-104.

042 "Votes Žtranges et paradoxaux", [Quelques paradoxes plus ou moins classiques ˆ propos d'Žlections et de choix collectifs.], juin 1997, pp.102-105.

041 "La ressemblance mathŽmatisŽe", [Plusieurs mŽthodes mathŽmatiques  permettent de mesurer des ressemblances entre objets ou entre images. La mŽthode fondŽe sur la complexitŽ de Kolmogorov relative est la plus puissante.], mai 1997, pp.100-104.

040 "Le mŽlange des cartes", [Etrangement, quand on applique plusieurs fois le mme mŽlange ˆ un paquet de cartes, on le remet en ordre.], mars 1997, pp.102-106.

039 "Obsession de Pi", [Simon Plouffe a dŽcouvert une formule nouvelle pour calculer Pi. Cette formule permet de calculer le chiffre binaire de Pi en position n, sans avoir ˆ calculer les chiffres qui prŽcdent... chose que personne n'avait imaginŽ possible).], janvier 1997, pp. 104-108.

¥1996¥

038 "Information noyŽe, information cachŽe", [La stŽganographie est l'art de cacher une information dans un texte ou une image sans que cela apparaisse. Non seulement le message est codŽ, mais personne ne sait qu'il y a un message. Le mouvement terroriste de Ben Laden utiliserait ce procŽdŽ. ], novembre 1996, pp. 142-146.

037 "Le monde agitŽ de la coopŽration", [Dans les expŽriences avec le dilemme itŽrŽ des prisonniers on observe le plus souvent une convergence vers un Žtat de coopŽration gŽnŽralisŽe. Il y a des exceptions : dynamiques cycliques ou quasi-chaotiques.], septembre 1996, pp. 100-104. (co-auteur : Philippe Mathieu)

036 "Les nombres univers", [Certains nombres rŽels ont des dŽveloppements dŽcinaux qui contiennent toutes les suites finies possibles de dŽcimales. On y trouve votre numŽro de SŽcuritŽ sociale, mais aussi votre portrait codŽ en 10 niveaux de gris.], juillet 1996, pp. 104-107.

035 "Des jeux infinis et des grands ensembles", [ La thŽorie des grands cardinaux envisage une catŽgorie de jeux infinis dont l'issue n'est pas dŽterminŽe par les axiomes de la thŽories ZF (de Zermelo-Fraenkel). Cela montre clairement que la thŽorie des ensembles usuelle est incomplte et que nous devons poursuivre la recherche de nouveaux axiomes.], juin 1996, pp. 60-66.

034 "Jeu avec des cartes bifaces", [Un paquet de cartes ˆ deux faces est prŽsentŽ. Jeux ˆ plusieurs et rŽussites sont proposŽs et ŽtudiŽs. De quoi s'occuper de longs moments.], mai 1996, pp. 100-104.

033 "Le jeu de la vie toujours vivant", [Le jeu de la vie de John Conway continue de passionner les amateurs. De nouvelles configurations aux propriŽtŽs extraordinaires sont dŽcouvertes. Le recouvreur du plan, par exemple, s'Žtend sans limites ˆ toute vitesse en laissant l'espace du jeu recouvert de lignes serrŽes.], mars 1996, pp. 100-104.

032 "Les commentaires du mathŽmaticien", [La suite 1 11 21 1211 111221 ... ("Look and say sequence", Hilgemeier sequence) a ŽtŽ ŽtudiŽe par John Conway. Ce qu'il y a dŽcouvert est une sorte de chimie primordiale.], janvier 1996, pp.100-103.

¥1995¥

031 "La compression des donnŽes", [Les algorithmes de compression de textes, d'images, de son et de film, jouent des r™les de plus en plus importants en informatique. Il est utile de comprendre le principe gŽnŽral de leur fonctionnement qui semble parfois miraculeux.], novembre 1995, pp. 180-184.

030 "La bataille enfin analysŽe", [Les jeux les plus simples suggrent parfois de questions difficiles. Savoir si une partie au jeu de la bataille (le plus ŽlŽmentaire des jeux de cartes) peut durer indŽfiniment est l'une de ces questions ardues. On a pu rŽsoudre le problme pour 32 cartes, mais on ignore la rŽponse pour 52.], septembre 1995, pp. 100-103. (co-auteur Philippe Mathieu).

029 "Les lois de tout ou rien", [En thŽorie des graphes certaines propriŽtŽs deviennent systŽmatiquement vraies ˆ l'infini ou systŽmatiquement fausses. Un phŽnomne de seuil dans le problme SAT est de mme nature et introduit une nouvelle constante mathŽmatique.], juillet 1995, pp. 100-105.

028 "Calculer et voter avec des cartes", [La manipulation de cartes ˆ jouer est un moyen de calcul, qui autorise mme de mener des opŽrations sans savoir lesquelles, ce qui donne une nouvelle solution au problme du vote inconscient traitŽ dans l'article de mars 1993. Une mŽthode pour comparer deux salaires sans avoir ˆ les dŽvoiler est expliquŽe. A l'issue du protocole vous saurez si votre beau-frre gagne plus que vous, mais vous ne saurez rien de plus, et lui non plus. ], mai 1995, pp. 104-108.

027 "Surprise biologique", [Article poisson d'avril sur les liens entre biologie et mathŽmatiques, publiŽ sous les noms fantaisistes de K. Arp et R. Abbit. Un Žtrange poisson possŽderait Žcrit dans son gŽnome en base 4, la suite des chiffres de la constante Pi. De nombreux lecteurs n'ont pas vu qu'il s'agissait d'une farce.], avril 1995, p.96.

026 "Les ordinateurs quantiques", [La mŽcanique quantique permet de mener des calculs plus rapidement que la mŽcanique classique. Le rŽsultat de Peter Shor sur la factorisation des nombres entiers est une rŽvolution : on ne sait pas l'obtenir en temps polynomial avec un calculateur classique, mais son algorithme le permettra avec un ordinateur quantique.], mars 1995, pp. 100-104.

025 "Un kit universel de calcul" [Sur la "thse de Church" ou "thse de Turing" (ou "thse de Church-Turing"). Il en existe toute une famille, il est important de ne pas les mŽlanger car certaines sont trs probablement vraies, et d'autres peu plausibles. )", janvier 1995, pp. 102-106.

¥1994¥

024 "DŽsespŽrante espŽrance", [Paradoxes probabilistes.], novembre 1994, pp. 102-106. Repris sous le titre

023 "L'espŽrance mathŽmatique", [Le gain moyen obtenu dans une Žpreuve au hasard est nommŽ "espŽrance". La notion semble ŽlŽmentaire et intuitive. Pourtant l'absurde nous guette.], dans le Dossier Pour La Science "Le hasard", avril 1996, pp.76-80.

022 "Le complexe surgit-il du simple ?" [Au sujet des suites itŽrŽes et du thŽorme de Sarkovskii, l'un des plus fascinant et inattendu rŽsultat concernant les fonctions continues de l'intervalle [0, 1] dans lui-mme.], septembre 1994, pp.102-107. Repris dans le Dossier n¡6 Pour La Science ÇLe ChaosÈ, janvier 1995, pp. 30-34.

021 "Ignorance ou indŽcidabilitŽ", [Ne pas confondre lÕabsence dÕune preuve et lÕindŽcidabilitŽ de Gšdel. Attention cependant les relations entre les deux idŽes sont assez dŽlicates. Pour certaines conjecture (par exemple "tout nombre pair >2 est somme de deux nombres premier : conjecture de Goldbach) celui qui dŽmontrera son indŽcidabilitŽ vis-ˆ-vis des axiome de Penao, en fait dŽmontrera la conjecture elle-mme . ], juillet 1994, pp.94-98.

020 "De l'importance d'tre imparfait", juin 1994, pp. 22-34 (co-auteurs : P. Potier, J.P. Bouchaud, L. De Bonis, M. Gros).

019 "L'accŽlŽration de la convergence", [Les suites numŽriques qu'on calcule et qui s'approchent de la solution d'un problme le font souvent trop lentement. Il existe des mŽthodes gŽnŽrales qui en amŽliorent la convergence : appliquer la mŽthode accŽlre la convergence. Pour certaines familles de suites cependant, des mŽthodes logiques dŽmontrent l'impossibilitŽ de l'accŽlŽration],  mai 1994, pp.94-98.

018 "Les virus informatiques", [Les virus et autres chevaux de Troie de nos ordinateurs sont-ils vraiment comparables aux virus biologiques ? Existe-t-il des mŽthodes dŽfinitives pour les repŽrer et s'en dŽbarrasser ?], mars 1994, pp.102-107.

017 "Les hyper-ensembles", [Les axiomes dÕantifondation de Forti, Honsel et Aczel rŽvolutionnent notre idŽe du monde mathŽmatique. Un ensemble peut se contenir lui-mme sans que cela conduise ˆ la moindre contradiction. Une notion Žlargie d'ensemble s'en dŽduit qui Žtend la notion classique comme les nombres complexes ont autrefois Žtendu la notion de nombre rŽel.], janvier 1994, pp.93-97.

¥1993¥

016 "Le dŽsordre total existe-t-il ?", [Comment dŽfinir la notion de suite alŽatoire ? Aprs bien des tentatives infructueuses, une proposition de Pier Martin-Lšf semble rŽussir : une sŽquence infinie de 0 et de 1 est alŽatoire si aucun procŽdŽ effectif (c'est-ˆ-dire calculable) ne peut en prŽdire l'ŽlŽment numŽro n, ˆ partir des ŽlŽments jusqu'ˆ n.], novembre 1993, pp.152-156.

015 "Machines, prŽdictions et fin du monde", [Etudes de quelques paradoxes probabilistes, dont celui particulirement troublant dž ˆ Brandon Carter et John Leslie et dŽnommŽ Çparadoxe de l'ApocalypseÈ. Suivre son raisonnement force ˆ rŽŽvaluer ˆ la hausse la probabilitŽ d'une disparition prochaine de l'humanitŽ.], septembre 1993, pp. 96-103.

014 "Algorithmes et preuves probabilistes", [Disposer d'authentiques sources alŽas permet-il de concevoir des algorithmes meilleurs que ceux de l'informatique dŽterministe ?], juillet 1993, pp. 90-95.

013 "L'altruisme perfectionnŽ", [La dŽcouverte de la stratŽgie Graduelle pour le dilemme itŽrŽ des prisonniers.], mai 1993, pp. 102-107 (co-Auteur Philippe Mathieu).

012 "Le vote inconscient", [Voter de manire probabiliste et sans savoir pour qui : par exemple 30 % pour A, 20% pour B et 50% pour C. Voilˆ une option qui vous rŽjouira si la politique vous dŽgožte. L'article explique comment s'y prendre mme quand on ne dispose que d'un seul bulletin par candidat.], mars 1993, pp. 88-93.

011 "L'infŽrence inductive", [La thŽorie formelle de lÕinfŽrence donne en particulier un sens ˆ certaines affirmations du philosophe de Karl Popper.], janvier 1993, pp. 102-107.

¥1992¥

010 "L'altruisme rŽcompensŽ ", [Le dilemme itŽrŽ des prisonniers et les travaux de Robert Axelrod Žclaire l'Žmergence des comportements coopŽratifs. Parmi les douze stratŽgies mises en compŽtition, la stratŽgie Donnant-donnant est la meilleure. Comment comprendre ce rŽsultat surprenant ?], novembre 1992, pp. 150-156.

009 "Cryptographie quantique", [La mŽcanique quantique propose de concevoir de nouvelles mŽthodes cryptographiques. Leur sžretŽ repose sur la physique et non plus sur les mathŽmatiques.], aožt 1992, pp. 101-106.

008 "Longueur d'une dŽmonstration", [Une dŽmonstration peut-elle tre trs trs longue ? Oui, nous indiquent certains thŽormes de logique. Le rapport entre la longueur d'un dŽmonstration et la longueur de l'ŽnoncŽ dŽmontrŽ peut dŽpasser n'importe quel entier fixŽ ˆ l'avance.], mai 1992. pp. 110-115.

007 "Cha”nage avant et dŽduction logique", [Pour que raisonnent les systmes experts au cÏur de nombreuses applications de l'Intelligence artificielle, on place une logique ˆ trois valeurs de vŽritŽ : en plus du faux et du vrai on prend en compte l'indŽterminŽ.], fŽvrier 1992, pp. 104-109, 114.

¥1991¥

006 "Les automates", [Les rŽseaux dÕautomates cellulaires Ñdont le jeu de la vie de John Conway est le plus connuÑ sont de mieux en mieux compris. Les rŽcents rŽsultats de Jarkko Kari confirment l'idŽe qu'ils constituent des procŽdŽs gŽnŽraux et puissants de calcul.], novembre 1991, pp. 126-134, 145.

005 "ComplexitŽs. La profondeur logique selon Bennett", [La complexitŽ vŽritable d'un objet est liŽe ˆ son contenu en calcul. Charles Bennett semble avoir rŽussi ˆ dŽfinir ce "contenu en calcul" d'une manire prŽcise.], aožt 1991, pp. 102-104, 112.

004 "Le rŽsultat de Shamir IP=PSPACE", [La difficultŽ apparemment insurmontable de la conjecture P­NP conduisait ˆ penser qu'une autre conjecture de la thŽorie de la complexitŽ IP=PSPACE Žchappait aussi au pouvoir des mŽthodes actuelles. Adi Shamir change la donne.] , mai 1991, pp. 25-27.

003 "Thermodynamique et informatique thŽorique : une nouvelle dŽfinition de l'entropie", [La complexitŽ de Kolmogorof utilisŽe en physique pour rŽsoudre le paradoxe du dŽmon de Maxwell.], avril 1991, pp. 17-20.

002 "Kurt Gšdel, il y a cinquante ans", [Le grand mathŽmaticien logicien venait de dŽmontrer que l'axiome du choix et l'hypothse du continu n'Žtaient pas contradictoires avec les axiomes usuels de la thŽorie des ensembles.], mars 1991, pp. 10-11.

001 "Le rŽalisme en mathŽmatiques et en physique", [Sur un parallle entre la philosophie de la physique et la philosophie des mathŽmatiques. Dans les deux cas, le rŽalisme  Ñqui est naturel et Žvident aux scientifiques dans leur travailÑ, rencontre des difficultŽs ds qu'ils cherchent ˆ en prŽciser le sens.], janvier 1991, pp. 34-42.

 

¥ Si vous souhaitez avoir des copies d'articles en version pdf

   envoyez un mail ˆ :    delahaye@lifl.fr 

ou alors allez en exemple et dŽduisez.        <---- Žnigme