Les démonstrations assistées par ordinateur sont-elles fiables ? Nous retraçons quelques moments du débat, en examinant la discussion sur les preuves informatisées du théorème des quatre couleurs.
Infos
- Baptiste Mélès
- 26 septembre 2024 19:24
- Cours - Formations
- Français
- Master
