Thoralf Skolem

Matemático norueguês, nascido em 1887 e falecido em 1963, desenvolveu a teoria axiomática dos conjuntos, apresentada por Zermelo. Estabeleceu, com Lewenhein, o teorema que leva o seu nome - se uma teoria possui um modelo então possui um modelo numerável. Desenvolveu um trabalho pioneiro em metalógica e em teoria das funções recursivas, evitando os paradoxos do infinito.
Como referenciar: Thoralf Skolem in Infopédia [em linha]. Porto: Porto Editora, 2003-2021. [consult. 2021-01-16 11:44:35]. Disponível na Internet: