Titres et rŽsumŽs des articles de la rubrique
"Logique
et calcul"
de Jean-Paul Delahaye
du journal Pour
la science
1991-2018
¥ 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 ˆ :
jean-paul.delahaye@univ-lille.fr
ou alors regardez l'url
de exemple
Voir
199
¥2018¥
304 "Faut-il
adopter l'avis de ses voisins ?" [La modŽlisation de rŽseaux dÕindividus dont lÕopinion se conforme ˆ celle
de la majoritŽ de ses relations montre des Žvolutions parfois inattendues, o
par exemple le rŽseau se met ˆ osciller entre deux Žtats contradictoires. Le Ç
thŽorme de la pŽriode 1 ou 2 È de Goles et Olivos stipule que, quelle que soit la rŽpartition initiale
des avis sur le graphe, lÕapplication de la dynamique majoritaire conduit, en
un nombre fini dÕŽtapes, ˆ une stabilisation complte des avis, ou ˆ une double
configuration des avis, chacune produisant lÕautre. ], dŽcembre 2018, pp. 80-85.
303 "Un graphe
universel et singulier" [QuÕun seul
nombre puisse contenir, dans ses dŽcimales, tous les autres est dŽjˆ un fait
Žtrange et troublant. Pourtant avec le Graphe de Rado,
le monde des graphes nous offre une situation encore plus surprenante... qui
fr™le le paradoxe. ] novembre 2018,
pp. 78-83.
302 "L'art et la science des mots de passe" [Choisir les mots de passe, les garder en les
protŽgeant, rŽussir ˆ les dŽvoiler : la science des mots de passe
est un
trŽsor de subtilitŽs..], octobre 2018, pp. 80-85.
301 "L'univers et la morale vue par la
thŽorie du calcul" [Si lÕon
considre toute interaction physique comme une sorte de calcul, on est amenŽ ˆ
repenser lÕŽvolution de lÕUnivers, voire ˆ donner des fondements
computationnels ˆ lÕŽthique.],
septembre 2018, pp. 82-87.
300 "Ces grilles de tiges articulŽes
sont-elles rigides" [Comment savoir
si un assemblage plan de tiges articulŽes
est dŽformable ou rigide ? En
appelant ˆ la rescousse la thŽorie des graphes, qui fournit des algorithmes
efficaces.], aožt 2018,
pp. 80-85.
299 "Une explication pour la loi de Benford" [La loi de Benford, qui porte sur le premier chiffre significatif des
nombres, a perdu de son mystre. Paralllement, elle a ŽtŽ gŽnŽralisŽe et,
ainsi, a gagnŽ en efficacitŽ pour dŽtecter
des donnŽes frauduleuses.], juillet 2018, pp. 74-79.
298 "Intelligences artificielles. Un
apprentissage pas si profond" [Les systmes de reconnaissance automatique ont
dÕŽtonnantes faiblesses. Exploiter ces failles permet de sÕamuser, mais aussi
dÕamŽliorer les procŽdures dÕapprentissage... ou de concevoir de nouvelles a attaques
malveillantes.], juin 2018,
pp. 80-85.
297 "Les
carrŽs magiques d'aires" On sÕintŽresse aux
carrŽs magiques depuis plus
de deux millŽnaires. Des amateurs dÕŽnigmes
leur ont rŽcemment associŽ des exigences gŽomŽtriques, ce qui enrichit
spectaculairement le domaine.],
mai 2018, pp. 80-85.
296 "Les indŽcidables absolus existent-ils
?" En 1951, Kurt Gšdel Žnona que soit lÕesprit
humain nÕest pas une machine, soit il existe des ŽnoncŽs qui lui sont
indŽcidables ˆ jamais, soit les deux ˆ la fois. Le dŽbat ouvert sur cette
question est toujours dÕactualitŽ.],
avril 2018, pp. 80-85.
295 "L'algorithme des coquillages" Pour les
mollusques, sÕenrouler en spirale afin de construire un abri permanent se fait
de multiples faons. Toutes sont des variantes dÕun procŽdŽ gŽnŽral
quÕon
sÕefforce de reproduire avec le but de programmer des imprimantes 3D.], mars 2018, pp. 80-85.
294 "La folie Žlectrique du Bitcoin."Les cryptomonnaies
telles que le bitcoin se substitueront-elles un jour au dollar et ˆ lÕeuro ?
Rien nÕest moins sžr si lÕon considre lÕeffrayante consommation
dÕŽlectricitŽ
liŽe au fonctionnement de ces monnaies numŽriques. ], fŽvrier 2018, pp. 80-85.
293 "Trivial mais puissant : le principe
des tiroirs " Le Ç principe des
tiroirs È est une Žvidence. Pourtant,
depuis son introduction en thŽorie
des nombres par Dirichlet, au xixe sicle, il sÕest
rŽvŽlŽ tre un levier de raisonnement dÕune dŽconcertante efficacitŽ. ],
janvier 2018, pp. 74-79.
292 "DŽjouer les piges des statistiques". Paradoxes
et intuitions fausses, mŽfions-nous des Žvidences quand il s'agit de
statistiques. ], Hors-sŽrie n¡98, fŽvrier-Mars 2018, pp. 16-21.
¥2017¥
291 "Paver
le plan avec un pentagone convexe" [LÕordinateur est parfois bon gŽomtre. CÕest en lÕutilisant quÕun
mathŽmaticien franais vient de mettre le point final ˆ la solution du problme
des polygones convexes pavant le plan. ], dŽcembre 2017, pp. 80-85.
290 "Co•ncidences Žtranges, mais banales" [Des erreurs de jugement nous conduisent
ˆ
voir dans certaines co•ncidences des phŽnomnes incroyables et ˆ leur
rechercher dÕimpossibles explications. ] novembre 2017, pp. 108-113.
289 "12,
404 et autres nombres palindromes" [Visuellement faciles ˆ identifier, les nombres palindromes suggrent des
problmes de tous niveaux et quelques dŽfis informatiques. Parmi les beaux
rŽsultats : tout nombre entier sÕŽcrit comme la somme de trois nombres
palindromes.], octobre 2017, pp. 80-85.
288 "Cinq
Žnigmes pour la rentrŽe" [Un bon problme
mathŽmatique doit avoir une solution qui ne vient pas toute seule. En voici
cinq exemples...], septembre 2017,
pp. 80-85.
287 "La
suite de Fibonacci et ... ses suites" La suite de Fibonacci
est cŽlbre, au point dÕavoir inspirŽ dÕautres constructions : une suite de
mots, des fractales,
un arbre... Tous ces objets mathŽmatiques
constituent
des terrains inŽpuisables de dŽcouvertes, encore
aujourdÕhui.], aožt 2017,
pp. 80-85.
286 "Le
Tout est-il plus que la somme de ses parties ?" [Mettre ˆ lÕŽpreuve une vieille maxime un peu
trop vague est un excellent stimulant mathŽmatique : selon le sens quÕon donne
aux mots, le mathŽmaticien trouve que le tout est plus que la somme de ses
parties... ou lÕinverse !],
juillet 2017, pp. 80-85.
285 "Le
partage Žquitable d'une tarte" [Il est facile de dŽcouper un disque en parts
Žgales et identiques en partant de son centre. Mais deux gŽomtres britanniques
ont rŽcemment montrŽ quÕil existe plŽthore de dŽcoupages Žquitables plus
ŽlaborŽs... et moins symŽtriques.],
juin 2017, pp. 80-85.
284 "Quand considre-t-on quÕun thŽorme est dŽfinitivement prouvŽ
?"
Renforcer la confiance quÕon a dans la
dŽmonstration dÕun thŽorme difficile est possible et logiquement nŽcessaire.
Il faudrait le faire pour le grand thŽorme de Fermat qui utilise dans sa
dŽmonstration des infinis bien au-delˆ de la thŽorie usuelle des ensembles. Les
univers de d'Alexandre Grothendieck sont liŽs ˆ cette question], mai 2017, pp. 78-83.
283 "Big Brother ˆ nos
portes (dŽrobŽes)" Parfois
totalement indŽtectables, les portes dŽrobŽes informatiques nuisent gravement ˆ
la sŽcuritŽ. Introduites ˆ des fins dÕespionnage ou de malveillance, ces Ç backdoors È exposent aussi chacun de nous au risque
dÕintrusion dans sa vie privŽe.],
avril 2017, pp. 82-87.
282 "Le
vivant, plus fort que lÕŽlectronique" Des systmes biologiques sont capables dÕenregistrer de lÕinformation
et de la manipuler, comme le font les ordinateurs. FondŽes sur ce constat, de
nouvelles technologies informatiques pourraient concurrencer celles
dÕaujourdÕhui], mars 2017,
pp. 78-83.
281 "Je le
vois, je le dŽmontre, mais est-ce que je le comprends ?" Les mathŽmatiques reclent dÕinnombrables
vŽritŽs ˆ la fois simples et inattendues. Illustration avec huit exemples qui
posent tous la question : quand est-ce qu'on a vraiment compris un rŽsultat
mathŽmatique. ], fŽvrier 2017,
pp. 78-83.
280 "Vers
du calcul sans cožt ŽnergŽtique". De nouvelles expŽriences sur de petits calculs confirment quÕun minimum
dÕŽnergie est nŽcessaire pour les effectuer. L'effacement d'informations est la
cause de ce cožt impossible ˆ Žliminer. C'est une confirmation du principe de
Landauer qui est restŽ longtemps discutŽ. Heureusement la ma”trise du calcul
rŽversible devrait permettre de franchir cet obstacle thermodynamique. ], janvier 2017, pp. 78-83.
¥2016¥
279 "Les plaisir 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.], dossier janvier-mars
2016, pp. 26-31.
278 "Formes infinies impossibles"
[Placer une infinitŽ de formes impossibles dans un seul dessin peut sembler un
peu futile. Cela produit pourtant de troublantes images o lÕÏil est mis à
rude Žpreuve.], dossier janvier-mars 2016, pp. 64-68.
277 "Formes et ensembles
autopavables" [Il existe une
sorte de miracle gŽomŽtrique ŽtudiŽe depuis longtemps les forme autopavables ou
Çrep-tileÈ. Lee Sallows en a gŽnŽralisŽ la dŽfinition et a alors dŽcouvert
quelques merveilles : avec des copies
de chaque forme dÕun ensemble
autopavable,
on reconstitue chacune des formes
en plus grand.], dŽcembre 2016, pp. 76-81.
276 "Du
bitcoin ˆ Ethereum : l'ordinateur-monde" [Les Ç organisations autonomes dŽcentralisŽes È sont des programmes
indestructibles fonctionnant sans que personne ne puisse en prendre le
contr™le. Elles ouvrent des perspectives inattendues, pour le meilleur et pour
le pire. ], novembre 2016,
pp. 104-109.
275 "Des indŽcidables ˆ portŽe de
main" [Les ŽnoncŽs dont on ne peut prouver ni quÕils sont
vrais, ni quÕils sont faux semblent moins rares quÕon ne lÕimaginait. De tels Ç
indŽcidables È
ont ŽtŽ trouvŽs concernant des problmes portant sur de
petites machines de Turing. En particulier, on vient de montrer que l'ŽnoncŽ
donnant la valeur de s(1919) Žchappera toujours ˆ la
thŽorie des ensembles ZFC pourtant puissante : s(n) est le nombre de pas
de calcul du n-ime castor affairŽ.], octobre 2016, pp. 78-83.
274 "Les arbres des mathŽmaticiens
sont-ils tous gracieux" [Au dŽtour de
questions sur les graphes et leur dŽcomposition surgit un problme qui se
formule simplement et qui, cinquante ans plus tard, rŽsiste toujours. La
conjecture des arbres gracieux a ŽtŽ ŽnoncŽe par Gerhard Ringel,
Anton Kotzig et Alexander Rosa en 1967. Plus deux
mille articles de recherche lui ont ŽtŽ consacrŽs... sans la faire tomber.], septembre 2016, pp. 78-83.
273 "Est-il vrai que 0,999... = 1"
[Les dŽveloppements dŽcimaux des
nombres sont universellement utilisŽs.
Parfois, on les comprend mal et
nombreux sont ceux qui refusent d'admettre que 0,999... = 1. Comment les
persuader qu'ils se trompent, et finalement ont-ils vraiment tort ? ],
aožt 2016, pp. 78-83.
272 "Des
stratŽgies miraculeuses" [Un
bon raisonnement, aussi efficace quÕinattendu, peut vous sauver la vie ou vous faire
sortir de prison... si vous tes soumis ˆ une Žpreuve analogue ˆ celle du
problme des 50 prisonniers.], juillet 2016, pp. 78-83.
271 "Le nombre ¹ est partout" [LÕubiquitŽ du nombre ¹ ne cesse dÕŽtonner. RŽcemment encore,
il
est apparu lˆ o personne ne sÕattendait ˆ le trouver : dans un systme simple
de collisions, dans la conjecture de Syracuse, dans le jeu de la vie... .],
juin 2016, pp. 78-83.
270 "Au pays des illuminŽ du nombre ¹"
[Le plus intŽressant des nombres est
sans conteste ¹.
La suite de ses dŽcimales constitue un terrain de
recherches et de jeux, ouvert ˆ tous pour le meilleur... et pour le pire !],
mai 2016, pp. 78-83.
269 "Adoucir son comportement ou le
durcir" [L'Žtude des
comportements sociaux et Žconomiques progresse gr‰ce ˆ la puissance de nos
machines. La simulation des diverses stratŽgies quÕil est possible dÕadopter
dans le Ç dilemme itŽrŽ du prisonnier È indique que, dans les grands ensembles
sociaux, il est prŽfŽrable dÕtre coopŽratif, surtout au dŽbut des rencontres.
D'autres conclusions plus fines proviennent de ces expŽriences massives faisant
s'affronter des milliers de stratŽgies.], avril 2016, pp. 80-85. (co-auteur Ph. Mathieu)
268 "Vie ou
intelligence : comment en repŽrer les traces" [Les erreurs commises ˆ propos de
lÕidentification de traces de vie ou dÕintelligence ont ŽtŽ nombreuses et
posent de dŽlicates questions ˆ la fois pratiques et thŽoriques. Certaines
controverses ne sont pas rŽsolues et aident ˆ saisir l'importance de la mesure
de la complexitŽ.], mars 2016, pp. 78-83.
267 "Paver avec des tatamis" [Les tapis japonais ont des proportions bien
dŽfinies. La tradition interdit qu'on en fasse se toucher 4 en un mme point.
Il en rŽsulte une sŽrie de problmes non triviaux de gŽomŽtrie et de
dŽnombrement auxquels les mathŽmaticiens s'intŽressent depuis quelques annŽes.
MalgrŽ des avancŽes rŽcentes, l'art du tatami garde bien des mystres.],
fŽvrier 2016, pp. 78-83.
266 "Le problme des huit reines... et
au-delˆ" [De combien de
faons diffŽrentes peut-on placer N reines sur un Žchiquier NxN de telle faon qu'aucune
n'en menace aucune ? PosŽ depuis bient™t deux sicles,
ce problme dit "des N reines" nÕest rŽsolu complŽtement que jusquÕˆ
N = 26. Le nombre de solutions augmente trs vite, mais il n'est pas facile
d'en trouver des minorants. Ce problme a d'ailleurs ŽtŽ l'objet d'erreurs
rŽpŽtŽes (et pas toujours corrigŽes) dans la littŽrature.], janvier
2016, pp. 78-83.
¥2015¥
265 "Faut-il interdire les robots tueurs
autonomes ?" [Est-il possible de concevoir et de programmer des robots
pour quÕils respectent des principes Žthiques ? Les lois de la robotique
envisagŽes par lÕŽcrivain Isaac Asimov ds 1942 sont bržlantes dÕactualitŽ. On
rŽalise ˆ quel point il est dŽlicat de les prendre en compte. En consŽquence,
il devient urgent de s'interroger sur les robots autonomes capables de tuer. Il
faut sans doute de les interdire.], dŽcembre 2015, pp. 78-83.
264 "Les tours de Hano•, plus qu'un jeu
d'enfant". [Le problme est un casse-tte classique que tous les
Žtudiants en informatique ont rencontrŽ. Il a ŽtŽ inventŽ par ƒdouard Lucas en
1883 qui n'a pas imaginŽ toutes les merveilles qui se cachaient en lui. En plus
d'tre amusant, il fait appara”tre des liens avec un grand nombre de sujets
mathŽmatiques : arithmŽtique, graphes, fractales, etc.], novembre 2015,
pp. 108-113.
263 "DŽlŽguer
un calcul sans divulguer ses donnŽes : la cryptographie homomorphe".
[Vous confiez des calculs ˆ un tiers, il les effectue et vous transmet les rŽsultats,
mais sans avoir pu conna”tre ni les donnŽes du calcul ni les rŽsultats : un
nouveau miracle cryptographique.], octobre 2015, pp. 102-107.
262 "La beautŽ mise en formules".
[EntamŽe en 1933 par le grand mathŽmaticien amŽricain George Birkhoff, la
recherche de mesures scientifiques du beau se poursuit. Elle utilise maintenant
des moyens thŽoriques et pratiques renouvelŽs dont ceux de la thŽorie
algorithmique de l'information. Mme si on peut tre rŽservŽ quant ˆ ses
rŽsultats, les rŽflexions qu'elle conduit ˆ formuler sur l'art et la science
sont troublantes et passionnantes.], septembre 2015, pp. 78-83.
261 "Tous les
chemins mnent au rond". [Le
rotor-router est un mŽcanisme dŽterministe de cheminement fondŽ sur des rgles
simples. Il forme cependant des structures aux propriŽtŽs Žtonnantes et plus
performantes que celles des parcours alŽatoires. L'article a ŽtŽ Žcrit en
collaboration avec Philippe Mathieu.], aožt 2015, pp. 76-81.
260 "Comment jouer parfaitement au Poker". [Une Žquipe de
chercheurs canadiens a rŽussi ˆ faire calculer ˆ un systme informatique une
stratŽgie optimale pour une version non triviale du Poker. C'est un exploit
remarquable rendu possible par une sŽrie de progrs mathŽmatiques et
algorithmiques rŽcents. C'est aussi l'occasion de rŽflŽchir ˆ nouveau au
concept de "stratŽgie mixte".], juillet 2015, pp. 78-83.
259 "Comment
vŽrifier les longues dŽmonstrations ?" [On n'imagine pas ˆ quel point les progrs des mathŽmatiques et de l'informatique
conduisent ˆ concevoir et ˆ Žcrire de longues dŽmonstrations. Certaines sont
qualifiŽes de Ç WikipŽdia-longues È car la taille de leur version
explicite est Žquivalente ˆ celle de toute l'encyclopŽdie WikipŽdia !
Comment s'assurer qu'on ne se trompe pas ?], juin 2015, pp. 78-83.
258 "Le dŽfi de
la sixime couronne". [Le titre
retenu est bien mystŽrieux et Žtrange, et le thme de recherche qu'il dŽsigne
aussi. Contrairement aux problmes de pavages auxquels on s'intŽresse le plus
souvent, ici on ne veut pas paver le plan en entier. On cherche ˆ le paver de
manire finie et qu'il soit impossible de prolonger le pavage obtenu. Bien sžr
on veut faire cela en n'utilisant qu'un seul pavŽ en construisant des couronnes
autour d'un pavŽ central... ], mai 2015, pp. 78-83.
257 "De l'art
avec les fractales". [Les
possibilitŽs ouvertes par la puissance sans cesse accrue de nos machines, la
dŽcouverte de nouveaux algorithmes et le perfectionnement
des techniques de calcul d'images 3D rŽalistes ont permis le dŽveloppement d'un
art nouveau qui produit des merveilles. JŽrŽmie Brunet est l'un des ma”tres de
cet art.], avril 2015, pp. 78-83.
256 "Les blockchains, clefs d'un nouveau
monde". [On sait maintenant rŽaliser des supports inscriptibles,
partagŽs et infalsifiables. Ce quÕil est possible de faire de ces
Ç blockchains È est Žtonnant, formidable... et rŽvolutionnaire.],
mars 2015, pp. 80-85.
255 "Les mathŽmatiques de l'origami". [La gŽomŽtrie du pliage
est une science aussi riche et intŽressante que la gŽomŽtrie des constructions
ˆ la rgle et au compas. D'ailleurs elle la dŽpasse mme puisque par pliage il
est possible d'obtenir la racine cubique de 2 qui est hors de la portŽe de la
rgle et du compas. Bien d'autres rŽsultats ont ŽtŽ rŽcemment Žtablis sur ces
jolies et rŽjouissantes questions.], fŽvrier 2015, pp. 76-81.
254 "Le problme
du Sudoku". [La donnŽe de 16 chiffres dans
une grille de Sudoku 9x9 est insuffisante pour
assurer l'unicitŽ de la solution. Le dŽmontrer semble impossible au
raisonnement mathŽmatique seul. Un Žnorme calcul a ŽtŽ nŽcessaire pour arriver
au rŽsultat qui pour l'instant n'a ŽtŽ confirmŽ qu'une seule fois. Les dŽtails
des mŽthodes mises en Ïuvre pour ce calcul viennent d'tre publiŽs.], janvier
2015, pp. 76-81.
¥2014¥
253 "Une seule intelligence ?". [L'Intelligence artificielle cherche ˆ rŽaliser des
logiciels et des systmes capables de mener des travaux ou des activitŽs
variŽes aussi bien que les tres humains : jeux, conduite automobile,
Žcriture d'articles de journaux, etc.. Nous en discutons les capacitŽs et
mŽthodes. Il existe aussi une Intelligence artificielle thŽorique qui,
utilisant la logique et les notions de calculabilitŽ et de complexitŽ tente de
concevoir ce qu'est l'intelligence gŽnŽrale (animale, humaine, ou mme
informatique).], dŽcembre 2014, pp. 76-81.
252 "Les graphes-allumettes". [Les graphes
connexes planaires dont toutes les artes ont la mme longueur
— appelŽs graphes-allumettes —
sont loin dÕavoir livrŽ tous leurs secrets. Le graphe de Harborth
est particulirement Žtrange : un peu comme une constante mathŽmatique
singulire (Pi, e, log(2), etc.) il existe depuis
toujours, possde une propriŽtŽ caractŽristique ŽlŽmentaire, et n'a pourtant
ŽtŽ dŽcouvert que rŽcemment.], novembre 2014, pp. 108-113.
251 "Cosmos ; l'art de
spŽculer sŽrieusement". [La spŽculation en
cosmologie propose des idŽes Žtonnantes qui sont pourtant logiquement
intŽressantes et plairont ˆ ceux qui pensent que c'est ˆ partir de la science
et non de "textes rŽvŽlŽs" qu'on doit se poser les grandes questions.
ClŽment Vidal vient de publier un livre qui tente en quelque sorte la synthse
de ces spŽculations. L'article Žvoque quelques thmes du livre.],
octobre 2014, pp. 76-81.
250 "Promenades carrŽes et cubes collŽes".
[Les plus lŽgers problmes de divertissement
mathŽmatique et informatique peuvent recŽler des difficultŽs cachŽes... qui en
font l'intŽrt. C'est le cas des golygones et des tout nouveaux golydres.], septembre
2014, pp. 76-81.
249 "IndŽcidables utiles et
inutiles". [On savait que l'indŽcidabilitŽ
avait un lien avec la complexitŽ : les formules vraies Žnonant qu'une suite
binaire s a une complexitŽ de Kolmogorov n, sont des indŽcidables
de la thŽorie T quand n dŽpasse une certaine valeur (qui dŽpend de T).
De remarquables travaux rŽcents (de Laurent Bienvenu, Andrei Romashchenko, Alexander Shen,
Antoine Taveneaux et Stijn Vermeeren)
permettent de voir finement ce qui se passe et amŽliorent notre comprŽhension
de l'indŽcidabilitŽ GšdŽlienne. Un pas important pour
la thŽorie de la dŽmonstration.], aožt 2014, pp. 76-81.
248 "Un tour de carte mathŽmagique". [Pour le mathŽmaticien, les tours de cartes les plus
intŽressants sont ceux qui fonctionnent seuls, du fait unique de la magie des
mathŽmatiques. Le tour de cartes prŽsentŽ ici est fondŽ sur la thŽorie de
l'information. Il est ˆ l'origine de dŽveloppements et d'applications
Žtonnantes —par exemple en bioinformatique. Nicolaas
de Bruijn —mort il y a deux ans— qui est
un de nos grands ma”tres en informatique, y a consacrŽ quelques articles et a
laissŽ son nom aux suites qui en sont le secret.], juillet 2014, pp.
76-81.
247 "équations rŽsolubles
ou non ?". [RŽsoudre des Žquations
amne toutes sortes de difficultŽs. Elles sont la source de progrs importants
comme l'introduction de nouveaux nombres. Certaines Žquations semblent
impossibles ˆ rŽsoudre. Donner un sens prŽcis ˆ cette impossibilitŽ a, lˆ
aussi, produit de belles avancŽes dans les idŽes.], juin 2014, pp.
74-79.
246 "Les spidrons,
pliables ˆ l'infini". [Parfois des
dŽcouvertes mathŽmatiques sont faites par des non mathŽmaticiens. Celle des ÇspidronsÈ du Hongrois Daniel Erdely
est gŽomŽtrique : on peut plier le plan en le dŽcoupant en triangles rigides et
solidaires. Cette dŽcouverte (qui n'est pas sans rapport avec les polydres
flexibles) a donnŽ lieu ˆ plus de travaux artistiques et dŽcoratifs que
mathŽmatiques. C'est sans doute dommage car aujourd'hui bien des questions
autour de ces formes restent mal rŽsolues.], mai 2014, pp. 76-81.
245 "Les preuves de travail". [RŽsoudre un problme prend du temps. C'est vrai pour les
humains et pour les machines. Il se trouve que parfois il est intŽressant de
freiner des machines en leur demandant de rŽsoudre des problmes dont on ajuste
finement la difficultŽ. Ce sont ce qu'on nomme les "preuves de
travail". Elles sont utiles pour lutter contre le spam, pour empcher les
attaques de type "dŽni de service", et pour distribuer des rŽcompenses
aux "mineurs de Bitcoins" (et plus gŽnŽralement des monnaies
cryptographiques)], avril 2014, pp. 86-85.
244 "Une thŽorie rvŽe du
calcul". [Peut-on calculer avec des signaux
se dŽplaant et interagissant sur une droite ? JŽr™me Durand-Lose Žtudie la question depuis plus d'une dizaine d'annŽes.
Ce que lui et d'autres chercheurs autour de lui ont trouvŽ est remarquable de
prŽcision et de finesse. Une nouvelle science du calcul en rŽsulte.],
mars 2014, pp. 90-95.
243 "Figuration de nombres". [ReprŽsenter les ensembles de nombres ou les chiffres des
nombres (pris individuellement) permet d'en comprendre des propriŽtŽs, ou mieux
d'en dŽcouvrir jusque lˆ ignorŽes. De nouvelles idŽes sont rŽgulirement
proposŽes pour Žtablir ces ponts entre l'abstrait numŽrique et le concret
gŽomŽtrique. L'article parle de l'ensemble de Cantor, de l'Žponge de Menger, du
tapis de Sierpinsky, des nombres premiers, des spirales de Ulam
et de Sacks, de la comte de Goldbach, de promenades
sur un nombre, et des nouvelles fractales de Beno”t Cloitre], fŽvrier
2014, pp. 78-83.
242 "Le dilemme du prisonnier
et l'illusion de l'extorsion". [Le dilemme
itŽrŽ des prisonniers est un jeu entre algorithmes. La dŽfinition du jeu est simple,
et pourtant y voir clair est difficile. Ce sont d'ailleurs des stratŽgies de
jeux relativement complexes qui y rŽussissent le mieux. Une controverse a lieu
depuis deux ans au sujet d'une nouvelle classe de stratŽgies qui selon leurs
inventeurs (William Press et Freeman Dyson) seraient
meilleures que toutes les autres car elles
permettraient l'extorsion. Qu'en est-il ?], janvier 2014, pp. 78-83.
¥2013¥
241 "Bitcoin, la cryptomonnaie". [La cryptographie et la puissance
des rŽseaux rendent possible l'existence de monnaies numŽriques sans autoritŽ
centrale de contr™le. Satoshi Nakamoto a proposŽ un protocole qui semble
tenir.], dŽcembre 2013, pp. 80-85.
240 "La qute du pavŽ apŽriodique unique".
[Les spŽcialistes des pavages apŽriodiques et des quasi-cristaux espŽraient
depuis longtemps dŽcouvrir un pavŽs unique forant la
non pŽriodicitŽ. On y est presque, gr‰ce aux travaux de J. Socolar et J. Taylor.], novembre 2013, pp. 127-130.
239 "Les pavages pentagonaux. Une classification qui
s'amŽliore". [L'ŽnumŽration des pavŽs convexes pentagonaux a plusieurs
fois ŽtŽ proposŽe. Ë chaque fois, elle s'est rŽvŽlŽe incomplte. Heureusement
les amateurs s'en mlent.], octobre 2013, pp. 78-83.
238 "Au delˆ de la loi de Moore ?". [La loi
de Gordon Moore du "doublement de la puissance des dispositifs
informatiques tous les 18 mois" est une loi exponentielle empirique.
Durera-t-elle encore longtemps ? Quelles sont ses gŽnŽralisations ? La loi de Koomey. Les spŽculations d'Alexe• Sharov
sur l'origine de la vie par panspermie.], septembre 2013, pp. 78-83.
237 "Persistance des nombres". [En
multipliant les chiffres d'un nombre, on en obtient un autre, et on peut
recommencer. Combien de fois ? On pense que 11 fois mne toujours ˆ un chiffre
seul. C'est une conjecture. La variante de Erdšs
n'est pas plus facile. ], aožt 2013, pp. 78-83.
236 "L'embarrassant paradoxe
de Simpson". [Les statistiques conduisent ˆ des dŽcisions fondŽes et
rationnelles, ˆ moins qu'on rencontre un paradoxe.], juillet 2013, pp. 80-85.
235 "Les carrŽs magiques gŽomŽtriques".
[Lee Sallows a inventŽ une forme gŽomŽtrique des carrŽs magiques ("Geomagic squares") et l'a ŽtudiŽe avec soin.
L'arithmŽtique s'associe ˆ la combinatoire.], juin 2013, pp. 80-85.
234 "Qu'est-ce qu'un objet
complexe ?". [La complexitŽ de Kolmogorov et la profondeur
logique de Bennett. Compression de fichiers. Contenu en information et contenu
en structures. ComplexitŽ des images et travaux d'Hector Zenil.],
mai 2013, pp. 78-83.
233 "Les dŽs affreux d'Efron".
[Paradoxes des dŽs intransitifs. En lanant les dŽs deux fois, on change le
gagnant. Les dŽs de Sicherman.], avril 2013, pp.
80-85.
232 "Des cartes bien mŽlangŽes". [MŽlanger parfaitement
des cartes gr‰ce au mŽlange pharaon (Faro). Combien de fois faut-il battre les
cartes et comment ? Les merveilles mathŽmatiques de Persi
Diaconis], mars 2013, pp. 80-85.
231 "Le problme de la fabrique de briques".
[En poussant des chariots de briques, en dessinant des rŽseaux urbains ou des
circuits Žlectroniques, on est confrontŽ au difficile problme du nombre de
croisements dans un graphe. Graphes planaires, les trois maisons.], fŽvrier
2013, pp. 80-85.
230 "L'homme, meilleur joueur que la machine".
[Gr‰ce ˆ de nouvelles mŽthodes de coordination, l'intelligence humaine produit
parfois des rŽsultats supŽrieurs ˆ ceux de la machine. Le programme Watson
d'IBM, les projets crowdsourcing Foldit,
Phylo et Galaxy-Zoo, Karpov
contre "la foule".], janvier 2013, pp. 80-85.
¥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. Ë 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 BurnsideÈ".
[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 PNP. 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 les mathŽmatiques et la technique 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+Ã5)/2 ou section dorŽe est mathŽmatiquement intŽressant. Cependant, il ne l'est
pas plus que Ã2, Ã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Žcimaux 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 Peano, 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 PNP 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 regarder l'url de exemple