Le livre en libre accès Maths and computation d'Avi Wigderson sur son site.
Les pdf des transparents de son intervention au sujet des preuves.
Remarque : je tiens à ce que ma note sur la conjecture de Goldbach reste en haut de mon blog, je ne sais le faire autrement qu'en trifouillant les dates de publication. Il est possible que ce faisant, un élément soit publié à une date antérieure au moment où il a effectivement eu lieu ! Le passé bouge encore...
Page des dessins humoristiques mathématiques de Sidney Harris lien
Inscription à :
Publier les commentaires (Atom)
Numina
22 juin 2026 : Numina me dit qu'elle vient de démontrer la conjecture de Goldbach en Lean à partir d'une formalisation en logique du...
-
7/8/2025 : Peut-être... https://denisevellachemla.eu/carres-et-points-fixes.pdf (en) https://denisevellachemla.eu/squares-and-fixed-point...
-
Petite vidéo de Tadashi Tokieda trouvé sur le site de David Eisenbud, merci ! lien À rapprocher de la transcription de l'article de ...

Aucun commentaire:
Enregistrer un commentaire