Loading [MathJax]/extensions/TeX/AMSsymbols.js

mardi 29 mars 2022

jeudi 17 mars 2022

Réfugiés

Pour aider les enfants en difficulté de communication, j'avais créé cet imagier sonore. Tout clic sur un mot le fait entendre, prononcé en français.

cartes sonores

Le clic sur les dessins fait aller vers d'autres pages d'images.

mercredi 9 mars 2022

Le mathématicien et l'ordinateur

 Récoltes et semailles, Alexander Grothendieck, p. 368 et 369

 Même de nos jours d'ailleurs, on rencontre des "démonstrations" au statut incertain. [...] Une situation, [...] plus extrême, est la "solution" du problème dit "des quatre couleurs", dont la partie calculatoire a été réglée à coups d'ordinateur (et de quelques millions de dollars). Il s'agit donc là d'une "démonstration" qui ne se trouve plus fondée dans l'intime conviction provenant de la compréhension d'une situation mathématique, mais dans le crédit qu'on fait à une machine dénuée de la faculté de comprendre, et dont l'utilisateur mathématicien ignore la structure et le fonctionnement. À supposer même que le calcul soit confirmé par d'autres ordinateurs, suivant d'autres programmes de calcul, je ne considère pas pour autant que le problème des quatre couleurs soit clos. Il aura sûrement changé de visage, en ce sens qu'il ne s'agit plus guère de chercher un contre-exemple, mais seulement une démonstration (lisible, il va de soi !).

vendredi 4 mars 2022

Dédicace

Spéciale dédicace à mes professeurs d'IHM (Interface Homme-Machine) de 1984 à 1987 à l'USTL (Faculté des Sciences) de Montpellier, qui étaient Jocelyne et Marc Nanard :

Leçon inaugurale de Wendy MacKay au Collège de France.

(le nombre de diapositives présentées montrant des femmes en interaction avec les ordinateurs suggèrerait l'emploi du terme IFM ;-) ).

Matrices de booléens, symétries et conjecture de Goldbach

lien vers la note du 5.2.25 (au sujet de la bicouche !) on continue le 8.2.25. Et on trouve peut-être un invariant le 10.2.25.