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 Artigos de apoio Infopédia [em linha]. Porto: Porto Editora, 2003-2020. [consult. 2020-01-20 09:21:23]. Disponível na Internet: