Albert Thoralf Skolem

Logicien et mathématicien norvégien (Sandsvaer 1887-Oslo 1963).

Ses travaux mathématiques portent sur la théorie des nombres. En logique, il a apporté une importante contribution à la théorie intuitionniste. En 1923, il a jeté les bases d'une démonstration aux termes de laquelle l'analyse et l'arithmétique doivent être construites à l'aide de fonctions récursives.