Département:Fondements logiques et ensemblistes des mathématiques

Département : Fondements logiques et ensemblistes des mathématiques
Logo représentatif du département


Les mathématiques reposent sur deux piliers.

La logique concerne les fondements des mathématiques, étudiant le raisonnement et sa nature plutôt que sa formulation. Ce domaine fixe les axiomes premiers sur lesquels sont bâtis les théorèmes, corollaires et démonstrations. On sait désormais utiliser les ordinateurs pour vérifier la cohérence de raisonnements.

Par ailleurs, la théorie des ensembles, à la fois très générale et très précisément étudiée, est à la base de toutes les structures d'objets mathématiques.

[Modifier]

Image indiquant les ressources Documents par niveau

[Modifier]

Image indiquant les ressources Participants

[Modifier]