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.
Partilhar
Como referenciar
Thoralf Skolem na Infopédia [em linha]. Porto Editora. Disponível em https://www.infopedia.ptartigos/$thoralf-skolem [visualizado em 2026-06-18 12:42:18].
Outros artigos
-
explosivoUm explosivo consiste numa substância ou mistura de substâncias que, devido ao oxigénio que contém,
-
extinçãoPode-se entender por extinção o desaparecimento total de uma espécie (conjunto de indivíduos semelha
-
exsurgênciaDesignação de uma nascente cujas águas provêm de águas subterrâneas das regiões cársicas, em geral d
-
fluido extracelularFluido que, localizando-se no exterior das células, inclui o fluido intersticial (intercelular), que
-
núcleo externoZona do núcleo compreendida entre os -2900 e -5175 quilómetros de profundidade. As ondas sísmicas S
-
extratosOs extratos (substâncias obtidas da ação de um dissolvente sobre um produto) são mais fracos do que
-
extensómetroUm extensómetro consiste num aparelho que serve para medir a deformação (extensão) de um corpo em co
-
EyringQuímico de origem mexicana, Henry Eyring nasceu em 1901, na cidade de Colónia Juarez, e faleceu em 1
-
extraçãoExistem dois tipos de extração: a extração líquido-líquido e a extração sólido-líquido. A extração l
-
órgãos genitais externosO órgão genital externo do aparelho feminino humano é a vulva, que é constituída por várias estrutur
Partilhar
Como referenciar 
Thoralf Skolem na Infopédia [em linha]. Porto Editora. Disponível em https://www.infopedia.ptartigos/$thoralf-skolem [visualizado em 2026-06-18 12:42:18].