Histoire des mathématiques Personne

Ernst Zermelo

Personne

Mathématicien allemand, Ernst Zermelo est l'un des principaux fondateurs de la théorie axiomatique des ensembles. Il a formulé l'axiome du choix et un système d'axiomes pour la théorie des ensembles.

vie
1871 – 1953

Ernst Zermelo travailla dans le contexte des débats sur les paradoxes de la théorie des ensembles apparus au tournant du XXe siècle. Ses recherches visaient à donner à cette théorie un cadre suffisamment précis pour l'usage mathématique.

En 1904, il donna une démonstration du théorème du bon ordre fondée sur l'axiome du choix. Il proposa ensuite, en 1908, un système axiomatique de la théorie des ensembles. Les compléments apportés notamment par Abraham Fraenkel conduisirent à la théorie ZF, dont l'extension avec l'axiome du choix est couramment désignée par ZFC.

Ses travaux

- Formulation de l'axiome du choix.
- Démonstration du théorème du bon ordre.
- Axiomatisation de la théorie des ensembles.
- Contribution fondatrice au cadre ZF et ZFC.

Liens

a contribué à
a donné son nom à

Sources

  • Wikidata CC0-1.0
  • Rédaction Synapx INTERNE