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-2020. [consult. 2020-09-26 15:31:54]. Disponível na Internet: