Dernier théorème de Fermat : à l'épreuve de l'informatique
La Science, CQFD
00:00
La formalisation des mathématiques à travers l'informatique
Ce chapitre examine comment la formalisation des mathématiques améliore les démonstrations et aide à la compréhension conceptuelle. Il met en lumière l'impact des outils informatiques sur les abstractions et le processus mathématique.
Transcript
Play full episode
