vendredi 3 octobre 2025

Avi Wigderson (Heidelberg Laureates forum) : Conférence sur les erreurs dans les démonstrations

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

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