Thoralf Albert Skolem (
23 mai 1887 -
23 mars 1963) était un
Mathématicien et
logicien norvégien.
Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion Skolémisation.
Biographie
Entré à l'université de
Kristiania, il suit des cours de
Mathématiques,
Physique,
Chimie,
Zoologie et
Botanique. Ses premières publications sont en physique, à l'époque où il était assistant de
Kristian Birkeland. Il n'a pas soutenu de thèse avant
1926, ne la jugeant pas indispensable en Norvège. Son seul doctorant fut d'ailleurs Øystein Ore, soutenant sa thèse en
1924, soit 2 ans avant son directeur.
Il se marie avec Edith Wilhelmine Hasvold en 1927.
Travaux
Skolem fut parmi les premiers à travailler sur les treillis, décrivant un treillis distributif libre engendré par n éléments en
1912.
C'est un pionner de la théorie des modèles. En 1920, il donne une nouvelle preuve à un théorème que Leopold Löwenheim avait établi 5 ans plus tôt : c'est le théorème de Löwenheim-Skolem (descendant), qui établit que toute théorie (du premier ordre) ayant un modèle infini en a un Dénombrable. Sa preuve utilise alors l'Axiome du choix, mais il en donne plus tard d'autres utilisant plutôt le Lemme de König. Ceci soumet le système d'axiomes de Zermelo au Paradoxe de Skolem.
Il participa également à la construction de modèles non standard.
Liens externes
Notes