Ernst Zermelo

Un article de Wikipédia, l'encyclopédie libre.

Ernst Friedrich Ferdinand Zermelo (27 juillet 1871 à Berlin - 21 mai 1953 à Fribourg-en-Brisgau) était un mathématicien allemand. Il s'est principalement intéressé aux fondations des mathématiques et ensuite à la philosophie.

[modifier] Biographie

Il fait ses études secondaires à Berlin, qu'il termine en 1889. Ensuite, il suit un cursus universitaire en mathématiques, physique et philosophie à Berlin, Halle et Fribourg-en-Brisgau, qu'il conclut par un doctorat à Berlin, portant sur le calcul des variations (Untersuchungen zur Variations-Rechnung). Il reste alors à Berlin en tant qu'assistant de Max Planck, sous la direction duquel il commence à étudier l'hydrodynamique. En 1897, il part pour Göttingen, où il obtiendra sa thèse d'habilitation à Berlin en 1899 à Göttingen.

En 1900 a lieu à Paris le Congrès international de mathématiques, où David Hilbert énoncera les 23 problèmes majeurs auxquels il souhaite que la communauté s'intéresse. Le premier de ces problèmes a trait à la théorie des ensembles, c'est celui de l'hypothèse du continu, formulé par Cantor en 1878.

Zermelo commence alors à travailler sur la théorie des ensembles et publie ses premiers résultats en 1902 (addition de cardinaux transfinis). En 1904, il fait un pas important vers une solution au premier problème de Hilbert en prouvant que tout ensemble peut être bien ordonné. L'importance de ce résultat fait largement connaître Zermelo qui obtient alors un poste de Professeur à Göttingen en 1905. Toutefois, ses démonstrations utilisent l'axiome du choix, ce qui ennuie certains mathématiciens, entre autres à cause de l'état de formalisation de la théorie des ensembles à l'époque. En 1908, Zermelo donnera une autre preuve, mieux acceptée.

À partir de 1905, Zermelo travaille à l'axiomatisation de la théorie des ensembles; en 1908, il publie ses resultats malgré son échec à prouver la cohérence de son système d'axiomes (Ce que Gödel prouvera plus tard impossible). En 1922, Abraham Adolf Fraenkel et indépendamment Thoralf Skolem améliorent les axiomes de Zermelo. Le système final, composé de 10 axiomes, est maintenant connu sous le nom d'axiomes de Zermelo-Fraenkel (ZF). C'est actuellement le plus utilisé en théorie axiomatique des ensembles.

En 1910, il quitte Göttingen pour une chaire à l'université de Zurich. À l'initiative de Hilbert, il y obtiendra un prix pour sa contribution à la théorie des ensembles.

En 1913, il publie un article précurseur de la théorie des jeux, qui sera ensuite développée notamment par John von Neumann et Oskar Morgenstern.

De santé fragile, il quitte Zurich en 1916 et retourne Fribourg-en-Brisgau où il obtient un poste honoraire, auquel il renoncera en 1935 en raison de sa désapprobation du régime nazi (Voir Heidegger). Il retrouvera son poste en 1946.