https://www.youtube-nocookie.com/embed/S-W0NX97DB0
http://denise.vella.chemla.free.fr/johnconway.mp4
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