Thoralf Albert Skolem (né en 1887 et mort en 1963) est 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 de skolémisation.

Skolem a publié environ 180 articles sur les équations diophantiennes, la théorie des groupes, la théorie des treillis et, surtout, en théorie des ensembles et en logique mathématique. Il a surtout été publié dans des revues norvégiennes avec une diffusion internationale limitée, de sorte que ses résultats ont parfois été redécouverts par d'autres. Un exemple est le théorème de Skolem-Noether, caractérisant les automorphismes des algèbres simples. Skolem a publié une preuve en 1927, mais Emmy Noether l'a redécouvert indépendamment quelques années plus tard.

Plus d'info : fr.wikipedia.org