mardi 29 mars 2022
samedi 26 mars 2022
vendredi 25 mars 2022
jeudi 17 mars 2022
Réfugiés
cartes sonores
Le clic sur les dessins fait aller vers d'autres pages d'images.
dimanche 13 mars 2022
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
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.

-
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.
-
L’ancien maillage que j’avais mis au jour en 2005 (voir aux pages ici et là ) peut s’obtenir par des calculs de sommes, sans utiliser le si...
-
Depuis le temps qu'on me parlait du lit à deux places des topos, ça aurait dû me faire penser à la notion de bicouche en cristallographi...