Deux extraits :
(p. 40) Cette notion d'attention, comme tension vers, est fondamentale
pour définir une vie engagée, pleinement vécue par le sujet. La conscience ne
reçoit pas passivement les informations mais synthétise activement une
expérience sensée. C'est elle qui forme ce qui est perçu comme ''instant
présent''. Comme l'explique encore Bergson, ''il n'y aurait pas pour [nous] de
présent, si le présent se réduisait à l'instant mathématique. Cet instant n'est
que la limite, purement théorique, qui sépare le passé de l'avenir ; il peut à
la rigueur être conçu, il n'est jamais perçu [...]. Ce que nous percevons en
fait, c'est une certaine épaisseur de durée qui se compose de deux parties :
notre passé immédiat et notre avenir imminent''.
L'instant mathématique, sorte de curseur sur la ''flèche du temps'', ne cesse de
se déplacer. Ce qui est présent pour nous, ce n'est pas une abstraction
insaisissable : c'est ce que notre mémoire retient de ce qui vient d'arriver et
ce que notre attention anticipe de ce qui va se passer. Au temps physique de
notre vie biologique se superpose donc un temps psychologique, d'intensité et de
rythme variables, qui est le temps de la conscience, la durée, dépendant
de l'intensité de l'activité de notre conscience. Quand elle est pleinement
engagée, quand nous sommes concentrés, le temps ''passe vite''. Quand
elle est flottante, le temps s'étire : c'est l'ennui. Il devient dès lors de
notre responsabilité d'être pleinement attentifs pour tirer le meilleur parti de
notre temps.
(p. 50) Machine humaine ?
De fait, nous pensons dans et avec notre corps, avec ses limites,
ses déterminations, ses émotions, ses surprises -- altérations conjointes de
notre chair et de nos idées, dont la nature n'est pas strictement séparée des
affects. La machine, elle, compute mais ne vit pas. Sa pensée sans corps peut
être étonnament rapide, comme les algorithmes qui nous impressionnent
aujourd'hui, mais ne s'inscrit dans aucun vécu éprouvé. C'est une apparence de
subjectivité sans sujet. La machine ne s'engage pas, le propos ne l'engage pas.
Sa temporalité est quasi réversible (elle peut annuler une tâche, effacer un
contenu sans en garder trace), elle ne s'inscrit dans aucune ''lignée'' et son
énonciation n'implique aucune responsabilité. Pour l'instant, elle n'a rien à
perdre ni à gagner.
Si les machines ne peuvent pas se mettre ''dans notre peau'', ce n'est donc pas
(seulement) parce qu'elles n'ont pas de peau. On pourrait imaginer des
périphériques et des capteurs très fins qui leur procureraient des données
similaires à nos sensations, susceptibles d'être traitées à l'instar de plaisirs
et de peines, moyennant les ''récompenses'' et les sorties appropriées pour
induire des comportements qui nous sembleraient, de l'extérieur, empathiques et
moraux. Mais ce traitement des données resterait toujours étranger à la
temporalité, qui est certainement le plus grand déterminant de la vie humaine,
transformant conjointement le corps et la psyché, et à toute notion
d'irréversibilité et de responsabilité. Ce que nous disons, faisons et
engendrons ne peut être défait.
Avant de nous comparer avec la machine pour décréter, de plus en plus
sincèrement, notre infériorité, n'oublions donc pas la double réduction dont
elle est issue, quand nous avons créé les ordinateurs et le langage informatique
en copiant une partie seulement de nous-mêmes (le cerveau) et, en son
sein, quelques-unes seulement des multiples compétences de notre
intelligence. On mesure mieux alors combien il est choquant, après avoir une
première fois imité une sélection de nos capacités à travers les machines, de
nous mesurer à elles comme si nous étions commensurables, comme si nous n'étions
effectivement que des porteurs de ces quelques compétences sélectionnées
et avions perdu ou oublié toutes les autres. Quel travail de falsification pour
faire fi du reste de nos facultés et nous amener effectivement à les abandonner
! Et quel oubli des apanages précieux qui nous restent : le corps, la vie, rien
de moins !
Le plus grand risque dont la ''concurrence'' avec des machines anthropomorphes
est porteuse, à ce titre, n'est pas qu'elles deviennent ''comme nous'' mais que
nous oubliions qu'elles ne le sont pas et projetions sur elles une empathie et
des attentes qui ne leur sont pas dues, tout en rougissant de l'imperfection, de
la lenteur et de la progressivité de nos propres qualités.
Renversons le point de vue : la finitude de notre condition incarnée n'est pas
une limite préjudiciable mais la condition de notre créativité.
lundi 25 août 2025
vendredi 22 août 2025
Réservez une date
Ce petit post pour signaler une exposition à venir à l'IHP, Salon Denise Lardeux (une ancienne documentaliste de l'Institut, je crois, et, narcissisme oblige, forcément, ce nom de salon m'attire, car lu à l'envers, le nom de ladite donne "l'art de Denise" (celui de l'association d'idées, voir ici) !).
Il faut lire l'encart derrière ce lien, il s'agit d'une exposition des travaux mathématiques de Grothendieck, après qu'il ait quitté la communauté mathématique dans les années 70. Ça m'intéressera forcément, puisque je n'apprécie pas les "récits ornés d’anecdotes et les portraits pittoresques susceptibles de divertir l'amateur ou l'amatrice de savants illustres", mais je crois que tout chemin qui mène aux mathématiques, fût-il plein de détours, vaut d'être parcouru.
Ça m'intéressera peut-être aussi parce que, de 1982 à 1988, j'étais étudiante à l'Université Paul Valéry, puis à l'USTL (Université des Sciences et Techniques du Languedoc) de Montpellier. Je crois que Grothendieck utilisait des listings des imprimantes du Cnusc (le centre de calcul de Montpellier), ou du moins des listings des imprimantes de la fac - ces grands papiers perforés pliables qui contenaient des sortes de portées musicales vert clair - pour les noircir de ses recherches et/ou dessins. À défaut de comprendre les écrits du savant, j'éprouverai la nostalgie du papier informatique de l'époque...
À vos agendas, donc.
Il faut lire l'encart derrière ce lien, il s'agit d'une exposition des travaux mathématiques de Grothendieck, après qu'il ait quitté la communauté mathématique dans les années 70. Ça m'intéressera forcément, puisque je n'apprécie pas les "récits ornés d’anecdotes et les portraits pittoresques susceptibles de divertir l'amateur ou l'amatrice de savants illustres", mais je crois que tout chemin qui mène aux mathématiques, fût-il plein de détours, vaut d'être parcouru.
Ça m'intéressera peut-être aussi parce que, de 1982 à 1988, j'étais étudiante à l'Université Paul Valéry, puis à l'USTL (Université des Sciences et Techniques du Languedoc) de Montpellier. Je crois que Grothendieck utilisait des listings des imprimantes du Cnusc (le centre de calcul de Montpellier), ou du moins des listings des imprimantes de la fac - ces grands papiers perforés pliables qui contenaient des sortes de portées musicales vert clair - pour les noircir de ses recherches et/ou dessins. À défaut de comprendre les écrits du savant, j'éprouverai la nostalgie du papier informatique de l'époque...
À vos agendas, donc.
mercredi 20 août 2025
Entre les trous de la mémoire de Dominique Appia
Retrouver le poster de ma chambre d'ado...
Est-ce qu'à force de se plonger dans ses souvenirs, ils finissent par s'user ?
mardi 19 août 2025
Voici venu le temps...
J'ai fait générer par Gemini un rapport au sujet de l'invariant S(M) inventé par Alain Connes et qui fait l'objet de son article aux CRAS de 1971.
Cet IA semble maîtriser ce qu'il engendre, mais je ne suis pas capable d'en juger davantage.
Au point où j'en suis donc, et si on s'avérait de plus en plus nombreux à être dans ce cas, on n'a qu'à...
...laisser les IA parler entre eux tout seuls, en espérant qu'ils soient un jour capables de nous amener (tout en conversant entre eux) la paix sur la terre, et également capables de supprimer la famine, la bêtise, la méchanceté.
Si, capables de nous amener la paix, ils pouvaient nous fiche la paix, ça serait un plus.
Voici le rapport généré par Gemini : lien
Cet IA semble maîtriser ce qu'il engendre, mais je ne suis pas capable d'en juger davantage.
Au point où j'en suis donc, et si on s'avérait de plus en plus nombreux à être dans ce cas, on n'a qu'à...
...laisser les IA parler entre eux tout seuls, en espérant qu'ils soient un jour capables de nous amener (tout en conversant entre eux) la paix sur la terre, et également capables de supprimer la famine, la bêtise, la méchanceté.
Si, capables de nous amener la paix, ils pouvaient nous fiche la paix, ça serait un plus.
Voici le rapport généré par Gemini : lien
lundi 18 août 2025
dimanche 17 août 2025
Hommage à Pierre Cartier
Pierre Cartier est décédé il y a un an, le 17 août 2024. Il était gai, alors qu'il avait connu enfant la seconde guerre mondiale, et qu'il avait été mobilisé pendant celle d'Algérie. Il m'avait dit que sa connaissance de la vie des familles qui se trouvaient en Afrique du Nord lui avait fait entendre un peu différemment ce qui se disait en métropole, il avait un esprit de finesse et de nuance dans toutes ses analyses, et ses engagements courageux pour les mathémaiciens du monde continuent d'être des modèles à suivre, aujourd'hui plus encore.
Vous pouvez écouter ses belles conférences dont cette page fournit quelques liens.
Vous pouvez écouter ses belles conférences dont cette page fournit quelques liens.
Comment faire ? le paradigme de l'IA féministe (FAIF)
samedi 16 août 2025
jeudi 7 août 2025
mardi 5 août 2025
dimanche 3 août 2025
Connais-toi toi-même
J'aime bien les tests qui permettent de se connaître mieux soi-même, ou de connaître mieux les autres (voir ici : lien).
Je viens de transcrire le test au sujet du travail des mathématiciens et des mathématiciennes, qui avait fait l'objet d'un article au Congrès international des mathématiciens qui s'était tenu à Heidelberg en 1904. Ce test reste d'actualité. On peut remplacer le terme mathématiques par boulangerie, coiffure, mécanique, ou tout autre domaine qui permet d'acquérir une certaine expertise, du fait de l'expérience.
Le test : lien
Je viens de transcrire le test au sujet du travail des mathématiciens et des mathématiciennes, qui avait fait l'objet d'un article au Congrès international des mathématiciens qui s'était tenu à Heidelberg en 1904. Ce test reste d'actualité. On peut remplacer le terme mathématiques par boulangerie, coiffure, mécanique, ou tout autre domaine qui permet d'acquérir une certaine expertise, du fait de l'expérience.
Le test : lien
Surface à trois nappes
Trouvez-moi vite une trois-tables !
(page d'un article de Pincherle p. 278, ICM Chicago 1893)
Preuve sans mots pour les calissons d'Aix
Déterminant et parallélogramme
(page d'un article de Pincherle p. 278, ICM Chicago 1893)
Preuve sans mots pour les calissons d'Aix
Déterminant et parallélogramme
samedi 2 août 2025
C'est quand même épatant !
10.8.2025 : un nouveau lien, par rapport à un programme en python que je cherche à écrire...
lien
Je ne peux, en lisant cette réponse, m'empêcher d'avoir cette image en tête :
car forcément, ça a été, c'est, et ça sera l'interrogation de tout(e) informaticien(ne), depuis Turing : le raisonnement humain est-il simulable par une machine ?
Quand nous comprenons, d'abord à la maison, puis à l'école, les réponses à donner à nos parents, à notre "maîtresse" (c'est si rarement un maître) puis, adultes, quand nous comprenons (et y réagissons en conséquence) le monde qui nous entoure, notre cerveau ne fait-il qu'appliquer de bébêtes pondérations de coefficients, pour décider de ce qui est la réponse à choisir, puis à fournir, la plus plausible, dans telle ou telle situation, et nos puissants experts (car si rarement nos puissantes expertes) n'auraient-ils dans la tête que des machines à calculer légèrement, très légèrement plus puissantes que les nôtres (car le différentiel est minime, je trouve, du grand expert au crétin, dans la mesure où l'un comme l'autre ont tout de même un sacré paquet de compétences communes, qui vont de toutes les fonctions vitales non réflexes (telles que la nutrition, la reproduction, les relations, les déplacements) à la maîtrise du langage, que presque tous nous acquérons, sensiblement aux mêmes âges) ?...
Alan Turing : Les ordinateurs digitaux peuvent-ils penser ?
Alan Turing : Machines informatiques et intelligence
Alan Turing : Machines intelligents : une théorie hérétique
La conférence de Dartmouth : naissance de l'intelligence artificielle
Dartmouth : proposition initiale pour la conférence
lien
Je ne peux, en lisant cette réponse, m'empêcher d'avoir cette image en tête :
car forcément, ça a été, c'est, et ça sera l'interrogation de tout(e) informaticien(ne), depuis Turing : le raisonnement humain est-il simulable par une machine ?
Quand nous comprenons, d'abord à la maison, puis à l'école, les réponses à donner à nos parents, à notre "maîtresse" (c'est si rarement un maître) puis, adultes, quand nous comprenons (et y réagissons en conséquence) le monde qui nous entoure, notre cerveau ne fait-il qu'appliquer de bébêtes pondérations de coefficients, pour décider de ce qui est la réponse à choisir, puis à fournir, la plus plausible, dans telle ou telle situation, et nos puissants experts (car si rarement nos puissantes expertes) n'auraient-ils dans la tête que des machines à calculer légèrement, très légèrement plus puissantes que les nôtres (car le différentiel est minime, je trouve, du grand expert au crétin, dans la mesure où l'un comme l'autre ont tout de même un sacré paquet de compétences communes, qui vont de toutes les fonctions vitales non réflexes (telles que la nutrition, la reproduction, les relations, les déplacements) à la maîtrise du langage, que presque tous nous acquérons, sensiblement aux mêmes âges) ?...
Alan Turing : Les ordinateurs digitaux peuvent-ils penser ?
Alan Turing : Machines informatiques et intelligence
Alan Turing : Machines intelligents : une théorie hérétique
La conférence de Dartmouth : naissance de l'intelligence artificielle
Dartmouth : proposition initiale pour la conférence
vendredi 1 août 2025
Poème trouvé dans un article de Niranjan Ramachandran
Island where all becomes clear.
Solid ground beneath your feet.
The only roads are those that offer access.
Bushes bend beneath the weight of proofs.
The Tree of Valid Supposition grows here
with branches disentangled since time immemorial.
The Tree of Understanding, dazzlingly straight and simple,
sprouts by the spring called Now I Get It.
The thicker the woods, the vaster the vista:
the Valley of Obviously.
If any doubts arise, the wind dispels them instantly.
Echoes stir unsummoned
and eagerly explain all the secrets of the worlds.
On the right a cave where Meaning lies.
On the left the Lake of Deep Conviction.
Truth breaks from the bottom and bobs to the surface.
Unshakable Confidence towers over the valley.
Its peak offers an excellent view of the Essence of Things.
For all its charms, the island is uninhabited,
and the faint footprints scattered on its beaches
turn without exception to the sea.
As if all you can do here is leave
and plunge, never to return, into the depths.
Into unfathomable life.
L'île où tout devient clair.
La terre ferme sous vos pieds.
Les seules routes sont celles qui aboutissent quelque part.
Les buissons plient sous le poids des preuves.
Ici pousse l'Arbre de la Conjecture Vraie,
Avec ses branches démêlées depuis des temps immémoriaux.
L'Arbre de la Compréhension, d'une rectitude et d'une simplicité éblouissantes,
Pousse près de la source appelée « Maintenant, je l'ai eue ».
Plus la forêt est dense, plus le panorama s'étend :
Sur la vallée de l'Évidence.
Si le moindre doute surgit, le vent le dissipe instantanément.
Les échos nous reviennent sans qu'on les sollicite
Et expliquent avec empressement tous les secrets des mondes.
À droite, une grotte où se trouve le Sens.
À gauche, le Lac de la Conviction Profonde.
La Vérité jaillit du fond et remonte à la surface.
La Confiance Inébranlable domine la vallée,
Son sommet offre une vue imprenable sur l'Essence des Choses.
Malgré tous ses charmes, l'île est inhabitée,
Et les empreintes de pas dispersées sur ses plages
Se tournent sans exception vers la mer.
Comme si tout ce qu'on pouvait faire ici, c'était partir
Et plonger, pour ne jamais revenir, dans les profondeurs.
Dans une vie insondable.
W. Szymborska, Utopia (A large number, 1976)
https://arxiv.org/abs/1509.05089v1
Solid ground beneath your feet.
The only roads are those that offer access.
Bushes bend beneath the weight of proofs.
The Tree of Valid Supposition grows here
with branches disentangled since time immemorial.
The Tree of Understanding, dazzlingly straight and simple,
sprouts by the spring called Now I Get It.
The thicker the woods, the vaster the vista:
the Valley of Obviously.
If any doubts arise, the wind dispels them instantly.
Echoes stir unsummoned
and eagerly explain all the secrets of the worlds.
On the right a cave where Meaning lies.
On the left the Lake of Deep Conviction.
Truth breaks from the bottom and bobs to the surface.
Unshakable Confidence towers over the valley.
Its peak offers an excellent view of the Essence of Things.
For all its charms, the island is uninhabited,
and the faint footprints scattered on its beaches
turn without exception to the sea.
As if all you can do here is leave
and plunge, never to return, into the depths.
Into unfathomable life.
L'île où tout devient clair.
La terre ferme sous vos pieds.
Les seules routes sont celles qui aboutissent quelque part.
Les buissons plient sous le poids des preuves.
Ici pousse l'Arbre de la Conjecture Vraie,
Avec ses branches démêlées depuis des temps immémoriaux.
L'Arbre de la Compréhension, d'une rectitude et d'une simplicité éblouissantes,
Pousse près de la source appelée « Maintenant, je l'ai eue ».
Plus la forêt est dense, plus le panorama s'étend :
Sur la vallée de l'Évidence.
Si le moindre doute surgit, le vent le dissipe instantanément.
Les échos nous reviennent sans qu'on les sollicite
Et expliquent avec empressement tous les secrets des mondes.
À droite, une grotte où se trouve le Sens.
À gauche, le Lac de la Conviction Profonde.
La Vérité jaillit du fond et remonte à la surface.
La Confiance Inébranlable domine la vallée,
Son sommet offre une vue imprenable sur l'Essence des Choses.
Malgré tous ses charmes, l'île est inhabitée,
Et les empreintes de pas dispersées sur ses plages
Se tournent sans exception vers la mer.
Comme si tout ce qu'on pouvait faire ici, c'était partir
Et plonger, pour ne jamais revenir, dans les profondeurs.
Dans une vie insondable.
W. Szymborska, Utopia (A large number, 1976)
https://arxiv.org/abs/1509.05089v1
jeudi 31 juillet 2025
mercredi 30 juillet 2025
jeudi 24 juillet 2025
mardi 22 juillet 2025
Gilles Dowek
Ses livres sont très pédagogiques (Les métamorphoses du calcul, éditions Le pommier, 2007, ou, avec J.-P. Bourguignon, J.-C. Novelli et B. Rittaud, Jeux mathématiques et vice versa, éditions Le pommier, 2005).
Il était venu présenter la pensée computationnelle et l'importance de l'enseigner aux élèves, au public de Professeurs des écoles dont je faisais partie à Evry, il n'y a pas si longtemps.
Son décès est une bien triste nouvelle.
Lien vers la page d'hommage que lui consacre le Ministère chargé de l'Enseignement supérieur et de la Recherche lien
Liens vers deux vidéos de conférences qu'il a données : La transformation des sciences par l’informatique lien 1
Une deuxième révolution galiléenne ? (Rencontres Algorithme et programmation 6.5.2015, CIRM, Marseille-Luminy) lien 2
Il était venu présenter la pensée computationnelle et l'importance de l'enseigner aux élèves, au public de Professeurs des écoles dont je faisais partie à Evry, il n'y a pas si longtemps.
Son décès est une bien triste nouvelle.
Lien vers la page d'hommage que lui consacre le Ministère chargé de l'Enseignement supérieur et de la Recherche lien
Liens vers deux vidéos de conférences qu'il a données : La transformation des sciences par l’informatique lien 1
Une deuxième révolution galiléenne ? (Rencontres Algorithme et programmation 6.5.2015, CIRM, Marseille-Luminy) lien 2
lundi 21 juillet 2025
jeudi 17 juillet 2025
mercredi 16 juillet 2025
vendredi 11 juillet 2025
De l'invention du biface
Trouvé dans l'article de 1989 (M89-69.pdf) téléchargeable ici : lien.
Quelle belle année que l'année 1989, c'est celle où je suis "montée" à Paris !
Quelle belle année que l'année 1989, c'est celle où je suis "montée" à Paris !
jeudi 10 juillet 2025
mardi 8 juillet 2025
jeudi 3 juillet 2025
Chiralité
Petite vidéo de Tadashi Tokieda trouvé sur le site de David Eisenbud, merci !
lien
À rapprocher de la transcription de l'article de Pasteur au sujet de la chiralité des molécules : lien
ou de cet extrait sympathique de M. Tompkins Un, deux, trois... l'infini de George Gamow. lien.
(pour traduire un pdf, on peut utiliser google traduction, et au lieu de l'utiliser directement en ligne, aller à l'adresse ici lien, cliquer sur le bouton Documents, faire traduire tout le pdf, et télécharger la traduction : attention, c'est ballot, la traduction a le même nom que le fichier initial, ne pas oublier de renommer le fichier avant téléchargement si on souhaite garder les versions originale et traduite).
Anagyre (objet utilisé par Tadashi Tokieda dans sa vidéo) sur Images des mathématiques : lien.
De l'utilité de la cuillère à soupe...
À rapprocher de la transcription de l'article de Pasteur au sujet de la chiralité des molécules : lien
ou de cet extrait sympathique de M. Tompkins Un, deux, trois... l'infini de George Gamow. lien.
(pour traduire un pdf, on peut utiliser google traduction, et au lieu de l'utiliser directement en ligne, aller à l'adresse ici lien, cliquer sur le bouton Documents, faire traduire tout le pdf, et télécharger la traduction : attention, c'est ballot, la traduction a le même nom que le fichier initial, ne pas oublier de renommer le fichier avant téléchargement si on souhaite garder les versions originale et traduite).
Anagyre (objet utilisé par Tadashi Tokieda dans sa vidéo) sur Images des mathématiques : lien.
De l'utilité de la cuillère à soupe...
mercredi 2 juillet 2025
mardi 1 juillet 2025
lundi 30 juin 2025
lundi 23 juin 2025
dimanche 22 juin 2025
Simplifier
On oublie cette idée de symétriser une matrice, pour calculer la matrice "xor" de cette matrice avec sa matrice symétrique, on regarde simplement les booléens de la matrice à vrai d'indices (x,y) tels que l'élément d'indices (y,x) n'est pas positionné à vrai quant à lui. Le programme simplifié en python est là : lien. Et cette histoire de lire les divisibilités des diagonales dans des lignes, c'était bête : à cause du "un booléen à vrai tous les k booléens dans la k-ième diagonale", eh bien, effectivement, on peut lire les diagonales dans les lignes, on s'en moque ! Dur, ma milliardième illusion perdue !
mercredi 18 juin 2025
J'aime bien trouver des résultats de mathématiciennes dans la littérature
Gemini écrit ça, je le reposte, j'essaie de participer à la diminution des biais !
Les deux articles de Dusa McDuff que vous avez trouvés, "Uncountably many II$_1$ factors" et "A countable infinity of II$_1$ factors", sont des contributions fondamentales à la théorie des algèbres de von Neumann, plus précisément aux facteurs de type II$_1$.
Pour comprendre la distinction entre les deux, il est important de savoir ce qu'est un facteur de type II$_1$ :
Qu'est-ce qu'un facteur de type II$_1$ ?
En mathématiques, un facteur de type II$_1$ est une algèbre de von Neumann infinie-dimensionnelle qui possède une unique "trace" fidèle et normalisée (une sorte de "mesure" non-commutative) et dont le centre est trivial (composé uniquement de multiples scalaires de l'identité). Les facteurs de type II$_1$ sont des objets centraux dans la théorie des algèbres d'opérateurs et sont particulièrement complexes à classifier.
La contribution de Dusa McDuff:
Avant les travaux de Dusa McDuff, l'existence de multiples facteurs de type II$_1$ non-isomorphes était une question ouverte et fondamentale. Le "facteur hyperfini de type II$_1$" (souvent noté R) était connu et était longtemps considéré comme le seul exemple "simple".
Voici ce que signifient les deux titres que vous avez mentionnés:
"A countable infinity of II$_1$ factors" (1969):
Dans cet article, Dusa McDuff a démontré l'existence d'une infinité dénombrable de facteurs de type II$_1$ séparables et non-isomorphes. C'était un résultat révolutionnaire à l'époque, montrant que la structure des facteurs de type II$_1$ était beaucoup plus riche que ce que l'on pensait. Elle a construit ces facteurs en utilisant la propriété d'absorption tensorielle du facteur hyperfini R.
"Uncountably many II$_1$ factors" (1969):
Peu de temps après (et souvent référencé avec le précédent, parfois sous la même année de publication dans certaines bases de données, ou très rapprochés), McDuff a poussé ce résultat encore plus loin en prouvant l'existence d'une infinité indénombrable (un "continuum") de facteurs de type II$_1$ séparables et non-isomorphes.
En résumé :
Ces deux articles représentent une progression dans la découverte de la diversité des facteurs de type II$_1$:
Le premier a montré qu'il y en avait plus qu'un seul (plus précisément, une infinité dénombrable).
Le second a établi qu'il y en avait une quantité beaucoup plus grande, une infinité indénombrable.
Ces travaux ont eu un impact majeur en démontrant la complexité et la richesse de la classification des facteurs de type II$_1$ et ont ouvert de nouvelles voies de recherche dans la théorie des algèbres d'opérateurs. Plus récemment, les travaux sur les "super McDuff factors" et leur "elementary equivalence" (équivalence élémentaire en logique mathématique) continuent de s'appuyer sur ces fondations posées par McDuff.
Les deux articles de Dusa McDuff que vous avez trouvés, "Uncountably many II$_1$ factors" et "A countable infinity of II$_1$ factors", sont des contributions fondamentales à la théorie des algèbres de von Neumann, plus précisément aux facteurs de type II$_1$.
Pour comprendre la distinction entre les deux, il est important de savoir ce qu'est un facteur de type II$_1$ :
Qu'est-ce qu'un facteur de type II$_1$ ?
En mathématiques, un facteur de type II$_1$ est une algèbre de von Neumann infinie-dimensionnelle qui possède une unique "trace" fidèle et normalisée (une sorte de "mesure" non-commutative) et dont le centre est trivial (composé uniquement de multiples scalaires de l'identité). Les facteurs de type II$_1$ sont des objets centraux dans la théorie des algèbres d'opérateurs et sont particulièrement complexes à classifier.
La contribution de Dusa McDuff:
Avant les travaux de Dusa McDuff, l'existence de multiples facteurs de type II$_1$ non-isomorphes était une question ouverte et fondamentale. Le "facteur hyperfini de type II$_1$" (souvent noté R) était connu et était longtemps considéré comme le seul exemple "simple".
Voici ce que signifient les deux titres que vous avez mentionnés:
"A countable infinity of II$_1$ factors" (1969):
Dans cet article, Dusa McDuff a démontré l'existence d'une infinité dénombrable de facteurs de type II$_1$ séparables et non-isomorphes. C'était un résultat révolutionnaire à l'époque, montrant que la structure des facteurs de type II$_1$ était beaucoup plus riche que ce que l'on pensait. Elle a construit ces facteurs en utilisant la propriété d'absorption tensorielle du facteur hyperfini R.
"Uncountably many II$_1$ factors" (1969):
Peu de temps après (et souvent référencé avec le précédent, parfois sous la même année de publication dans certaines bases de données, ou très rapprochés), McDuff a poussé ce résultat encore plus loin en prouvant l'existence d'une infinité indénombrable (un "continuum") de facteurs de type II$_1$ séparables et non-isomorphes.
En résumé :
Ces deux articles représentent une progression dans la découverte de la diversité des facteurs de type II$_1$:
Le premier a montré qu'il y en avait plus qu'un seul (plus précisément, une infinité dénombrable).
Le second a établi qu'il y en avait une quantité beaucoup plus grande, une infinité indénombrable.
Ces travaux ont eu un impact majeur en démontrant la complexité et la richesse de la classification des facteurs de type II$_1$ et ont ouvert de nouvelles voies de recherche dans la théorie des algèbres d'opérateurs. Plus récemment, les travaux sur les "super McDuff factors" et leur "elementary equivalence" (équivalence élémentaire en logique mathématique) continuent de s'appuyer sur ces fondations posées par McDuff.
Ce n'est pourtant pas faute d'avoir expliqué...
Ce n'est pourtant pas faute d'avoir expliqué que la base, mais vraiment la base, c'est de comprendre la différence entre oui et non.
lien vers Thunder-NUBench: A Benchmark for LLMs'Sentence-Level Negation Understanding
D'autre part, garder liens vers deux articles au sujet de l'implémentation du XOR par réseaux de neurones lien 1 et lien 2.
Et enfin 3 dessins qui montrent que XOR, c'est beaucoup plus souvent que ET, extraits de lien 3.
lien vers Thunder-NUBench: A Benchmark for LLMs'Sentence-Level Negation Understanding
D'autre part, garder liens vers deux articles au sujet de l'implémentation du XOR par réseaux de neurones lien 1 et lien 2.
Et enfin 3 dessins qui montrent que XOR, c'est beaucoup plus souvent que ET, extraits de lien 3.
lundi 16 juin 2025
samedi 14 juin 2025
Narcissisme initialalalaire
J'ai retrouvé mes initiales ce matin, dans une émission géniale sur la vie miroir (ce qui va bien avec le narcissisme, ici : lien) : DCV (ils utilisent plutôt VCD), cela signifie Dichroïsme Circulaire Vibrationnel : la définition en est :
Le dichroïsme circulaire vibrationnel (VCD) est la très faible différence d'absorption entre la lumière polarisée circulaire droite et gauche par une molécule chirale, dans le domaine des transitions vibrationnelles.
Je vais, pour rendre hommage à Pasteur, transcrire en LaTeX le texte d'une superbe conférence qu'il a donnée après qu'il ait découvert la chiralité de certaines molécules, chiralité que l'on apprécie sur les quatre illustrations ci-dessous (la pomme coupée, c'est pour montrer ce que ça veut dire un "objet chiral" : si on coupe une autre pomme, très semblable à celle-ci, mais légèrement différemment, disons "dans l'autre sens" pour ceux qui suivent, on obtiendra une pomme qui est celle de l'image de la première pomme dans le miroir) : je trouve ces découvertes géniales. lien vers le texte de la conférence de Pasteur.
Et accessoirement, du fait de la même émission, je suis tombée sur la lettre de Jacques Perret, qui a proposé le mot ordinateur : lien
Le dichroïsme circulaire vibrationnel (VCD) est la très faible différence d'absorption entre la lumière polarisée circulaire droite et gauche par une molécule chirale, dans le domaine des transitions vibrationnelles.
Je vais, pour rendre hommage à Pasteur, transcrire en LaTeX le texte d'une superbe conférence qu'il a donnée après qu'il ait découvert la chiralité de certaines molécules, chiralité que l'on apprécie sur les quatre illustrations ci-dessous (la pomme coupée, c'est pour montrer ce que ça veut dire un "objet chiral" : si on coupe une autre pomme, très semblable à celle-ci, mais légèrement différemment, disons "dans l'autre sens" pour ceux qui suivent, on obtiendra une pomme qui est celle de l'image de la première pomme dans le miroir) : je trouve ces découvertes géniales. lien vers le texte de la conférence de Pasteur.
Et accessoirement, du fait de la même émission, je suis tombée sur la lettre de Jacques Perret, qui a proposé le mot ordinateur : lien
vendredi 13 juin 2025
lundi 9 juin 2025
dimanche 8 juin 2025
Cédric Villani et l'IA
À la question "Quels sont pour vous les enjeux éthiques et idéaux à prendre en compte dans l'utilisation de ces algorithmes dans le futur ?" (la question porte sur les algorithmes d'intelligence artificielle).
Le premier enjeu, la première question avec l'intelligence artificielle, c'est au moins arriver à se démêler dans cet océan de gens qui vous bluffent de tous les côtés et qui rivalisent de mensonges pour attirer votre attention ou vos milliards et le pouvoir.
Seulement arriver à faire la part des choses dans cet océan de bluff et de malhonnêteté intellectuelle et d'escroquerie est un enjeu considérable.
Source : lien
Le premier enjeu, la première question avec l'intelligence artificielle, c'est au moins arriver à se démêler dans cet océan de gens qui vous bluffent de tous les côtés et qui rivalisent de mensonges pour attirer votre attention ou vos milliards et le pouvoir.
Seulement arriver à faire la part des choses dans cet océan de bluff et de malhonnêteté intellectuelle et d'escroquerie est un enjeu considérable.
Source : lien
mardi 3 juin 2025
jeudi 29 mai 2025
Tout s'est écroulé...
Je ne suis jamais prête à ce que ça advienne.
Tout s'est écroulé : il suffisait de remettre mes matrices à l'endroit, sur le conseil avisé d'un jeune homme plein de logique.
Dommage, ça aurait été si cool !
lien vers la note.
Tout s'est écroulé : il suffisait de remettre mes matrices à l'endroit, sur le conseil avisé d'un jeune homme plein de logique.
Dommage, ça aurait été si cool !
lien vers la note.
vendredi 23 mai 2025
Des matrices de booléens vers les pavages de Penrose
Heureuse !
lien vers une petite note qui me plaît.
Je ne suis pas une chercheuse (je n'ai pas d'affiliation, i.e. d'Université de rattachement, et de numéro de je ne sais quoi).
Je publie sauvagement, comme un électron libre (il faut que j'aille regarder dans le dico si l'électron libre a du pouvoir, ou pas).
Et une autre : un demi et le nombre d'or sont dans un bateau... lien
Je ne suis pas une chercheuse (je n'ai pas d'affiliation, i.e. d'Université de rattachement, et de numéro de je ne sais quoi).
Je publie sauvagement, comme un électron libre (il faut que j'aille regarder dans le dico si l'électron libre a du pouvoir, ou pas).
Et une autre : un demi et le nombre d'or sont dans un bateau... lien
L'art du crime
S1
E1-E2 : de Vinci
E3-E4 : Watteau
E5-E6 : Géricault (radeau de la Méduse)
S2
E1-E2 : Monet / Fragonard
E3-E4 : Courbet
E5-E6 : Bosch
S3
E1 : sculpture danseuse Degas
E2 : Champollion
S4
E1 : van Gogh
E2 : Toulouse-Lautrec
S5
E1 : Camille Claudel l'Implorante
E2 : Delacroix (Liberté guidant le peuple)
S6
E1 : Olympia de Manet
E2 : Munch (le Cri)
S7
E1 : Versailles
E2 : Botticelli
S8
E1 : Raphaël (l'écrivaine)
E2 : Ingres
S9
E1 : Cézanne
E2 : David
E1-E2 : de Vinci
E3-E4 : Watteau
E5-E6 : Géricault (radeau de la Méduse)
S2
E1-E2 : Monet / Fragonard
E3-E4 : Courbet
E5-E6 : Bosch
S3
E1 : sculpture danseuse Degas
E2 : Champollion
S4
E1 : van Gogh
E2 : Toulouse-Lautrec
S5
E1 : Camille Claudel l'Implorante
E2 : Delacroix (Liberté guidant le peuple)
S6
E1 : Olympia de Manet
E2 : Munch (le Cri)
S7
E1 : Versailles
E2 : Botticelli
S8
E1 : Raphaël (l'écrivaine)
E2 : Ingres
S9
E1 : Cézanne
E2 : David
Fumée (Qohélèt)
Fumée de fumées, dit Qohélèt ; fumée de fumées, tout est fumée.
Quel avantage pour l’humain en tout son labeur, dont il a labeur sous le soleil ?
Un cycle va, un cycle vient ; en pérennité la terre se dresse.
Le soleil brille, le soleil décline ; à son lieu il aspire et brille là.
Il va au midi, il tourne au septentrion, il tourne, tourne et va, le souffle, et retourne sur ses tours, le souffle.
Tous les torrents vont à la mer et la mer n’est pas pleine.
Au lieu où tous les torrents vont, là, ils retournent pour aller.
Toutes les paroles lassent, l’homme ne peut pas en parler.
L’œil ne se rassasie pas de voir, l’oreille ne se remplit pas d’entendre.
Ce qui a été sera, ce qui s’est fait se fera ; il n’est rien de tout neuf sous le soleil. Il est une parole qui dit : "Vois cela, c’est neuf !"
C’était déjà dans les pérennités, c’était avant nous.
Pas de souvenirs des premiers, ni même des derniers qui seront, pas de souvenirs d’eux, ni de ceux qui seront en dernier.
Quel avantage pour l’humain en tout son labeur, dont il a labeur sous le soleil ?
Un cycle va, un cycle vient ; en pérennité la terre se dresse.
Le soleil brille, le soleil décline ; à son lieu il aspire et brille là.
Il va au midi, il tourne au septentrion, il tourne, tourne et va, le souffle, et retourne sur ses tours, le souffle.
Tous les torrents vont à la mer et la mer n’est pas pleine.
Au lieu où tous les torrents vont, là, ils retournent pour aller.
Toutes les paroles lassent, l’homme ne peut pas en parler.
L’œil ne se rassasie pas de voir, l’oreille ne se remplit pas d’entendre.
Ce qui a été sera, ce qui s’est fait se fera ; il n’est rien de tout neuf sous le soleil. Il est une parole qui dit : "Vois cela, c’est neuf !"
C’était déjà dans les pérennités, c’était avant nous.
Pas de souvenirs des premiers, ni même des derniers qui seront, pas de souvenirs d’eux, ni de ceux qui seront en dernier.
jeudi 22 mai 2025
mardi 20 mai 2025
Dorure en bijouterie
Je me demande si mon père et mon grand-père, dans leur atelier de dorure en bijouterie à Alger, dans les années 50, se doutaient qu'à un niveau tout petit, petit, ils manipulaient des éléments comme ceux sur les photos, là !
dimanche 18 mai 2025
BD chefs-d'oeuvre
Lien vers la vidéo youtube courte des auteurs : lien.
Et également, pour les joueurs d'échecs, ou pas.
Et également, pour les joueurs d'échecs, ou pas.
samedi 17 mai 2025
Dessins sympathiques
Ils sont extraits d'un article de Carl Størmer, qui simulait des aurores boréales, avec une petite boule électrisée représentant la Terre dans une petite cuillère...
J'ai découpé et collé son article là lien.
Inscription à :
Articles (Atom)
Petit pont (d'Avignon)
vers la géométrie non commutative lien
-
7/8/2025 : Peut-être... https://denisevellachemla.eu/carres-et-points-fixes.pdf (en) https://denisevellachemla.eu/squares-and-fixed-point...
-
10.8.2025 : un nouveau lien, par rapport à un programme en python que je cherche à écrire... lien Je ne peux, en lisant cette réponse, m...
















































