Naissance | |
---|---|
Décès | |
Nom dans la langue maternelle |
Thoralf Albert Skolem, Thoralf Albert Skolem ou Thoralf Albert Skolem |
Nom de naissance |
Thoralf Albert Skolem |
Nationalité | |
Formation | |
Activités |
A travaillé pour |
Université d'Oslo (- Chr. Michelsen Institute (d) (- Université d'Oslo (- |
---|---|
Directeur de thèse | |
Distinctions |
Forme normale de Skolem, théorème de Löwenheim-Skolem, paradoxe de Skolem, théorème de Skolem-Noether, arithmétique de Skolem (d) |
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.