Thoralf Skolem

Thoralf Albert Skolem (1887-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. Bien que le père de Skolem ait été enseignant en école primaire, la plupart des membres de sa famille étaient des agriculteurs. Skolem a fréquenté l'école secondaire à Kristiania (plus tard renommé Oslo), en passant par les examens d'entrée à l'université en 1905. Il est ensuite entré à la Kongelige Frederiks Universitet (l'université d'Oslo) pour étudier des mathématiques, en prenant également des cours de physique, chimie, zoologie et de botanique. En 1909, il a commencé à travailler comme assistant du physicien Kristian Birkeland, connu pour le bombardement des sphères magnétisées par des électrons et l’obtention d'effets auroraux; Ainsi, les premières publications de Skolem étaient des documents de physique rédigés conjointement avec Birkeland. En 1913, Skolem a passé les examens avec mention et a terminé une thèse intitulée Investigations on the Algebra of Logic. Il a également voyagé avec Birkeland au Soudan pour observer la lumière zodiacale. Il a passé le semestre d'hiver 1915 à l'Université de Göttingen, à l'époque le centre de recherche d'excellence en logique mathématique, méta-mathématique et d'algèbre abstraite, dans lesquels Skolem a finalement excellé. En 1916, il a été nommé chercheur de l'université d'Oslo. En 1918, il devint docteur en mathématiques et fut élu à l'Académie norvégienne des sciences et des lettres. Skolem n'a pas été officiellement formé comme thésard, pensant que la thèse était inutile en Norvège. Il a ensuite changé d'avis et a soumis une thèse en 1926, intitulée Some theorems about integral solutions to certain algebraic equations and inequalities (« Quelques théorèmes sur les solutions intégrales à certaines équations et inégalités algébriques »). Son directeur de thèse théorique était Axel Thue, même si celui-ci était décédé en 1922.