L'Axiomatisation, un pilier des mathématiques modernes - Passe-science #3
10 — Nouvelle axiomatisation de la géométrie
Proposition, théorème, corollaire, axiome, ... : quelle est la différence ?
L'AXIOMATIQUE - Les Éléments d'Euclide | Grain de philo #14 (Ep.4)
16 — L’axiomatisation de la théorie des ensembles
leçon de maths modernes
CONJUGAISON = Axiomatiser = Indicatif Présent
Séminaire Math-Philo 2019 (ENS Ulm) : Pierre Cartier, Hilbert et l'axiomatisation de la Physique
Les groupes de Galois, révolution mathématique ( avec démonstration ) - Passe-science #31
9 — Une axiomatique non euclidienne
15 — La théorie des types de Russell
13 — D’une crise à une autre
25 — L’infinité des logiques possibles
ZFC - 03 - Le théorème de Hartogs
[FR] Qu'est-ce qu'un ensemble ? Fonder la mathématique dans l'intuition
Peut-on utiliser des maths pour vulgariser ?
L'axiome du choix | Infini 15
Mathématiques : invention ou découverte ? (Réalisme mathématique) (Philo science 13/14)
Charles Alunni : Maths modernes. Souvenirs impressionnistes
Les axiomes de ZFC