|
Mathématicien allemand, fondateur de la
méthode axiomatique et de la théorie de la démonstration
(métamathématique).
Il influence grandement un grand nombre
de domaines des mathématiques, y compris ses fondements: logique, théorie
des nombres, algèbre, analyse, géométrie …
Concernant la notion
d'infini: il aimait à raconter cet histoire de l'hôtel de l'infini à ses étudiants. Il
défendit avec acharnement le " paradis " de la création
cantorienne qu'il considérait comme le produit le
plus pur du génie mathématique.
Il enseigne jusqu'en 1895 à l'université
de Könisberg puis à l'université de Göttingen.
Travaux majeurs en théorie des nombres et
des invariants.
En géométrie, il redéfinit la géométrie
euclidienne par un ensemble de 21 axiomes.
Il tentera vainement d'axiomatiser le domaine
des mathématiques. En 1931, Kurt Gödel démontrera que c'est impossible.
|
