En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

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.