dimanche 12 avril 2020

Le jeu de la vie de John Conway

https://www.youtube-nocookie.com/embed/S-W0NX97DB0

http://denise.vella.chemla.free.fr/johnconway.mp4

Aucun commentaire:

Enregistrer un commentaire

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...