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 ;-) ).
Faisez-en des conjectures, vous !
(clin d'œil du titre pour Renaud !) Puisqu'on se donne le droit de conjecturer ôssi, et au vu des petites expérimentations que je ...
-
Hier j'ai trouvé l'explication à un de mes mystères : un jour de canicule, je remontais en voiture du sud au nord, au coucher du sol...
-
https://www-spektrum-de.translate.goog/news/die-ueberraschung-des-jahrhunderts/1700064?_x_tr_sl=de&_x_tr_tl=fr&_x_tr_hl=fr&_x_...
-
Spectres trouvés dans l'article de Janine Connes et Herbert P. Gush. Étude du ciel nocturne dans le proche infra-rouge. J. Phys. Radium...

