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.pt/artigos/$thoralf-skolem [visualizado em 2025-06-24 14:33:50].
Outros artigos
-
John GrauntComerciante e estatístico inglês, nasceu a 24 de abril de 1620, em Londres, e morreu a 18 de abril d
-
granulosaÉ o conjunto de células foliculares que rodeiam o oócito II. As células da granulosa são sensíveis à
-
graptólitosGrupo de animais marinhos extintos que viviam em colónias muito comuns na era Paleozoica. Os Graptól
-
granumSubunidade dos cloroplastos formada pelo empilhamento de muitos tilacoides, ligados entre si. Os gra
-
Pierre GrasséBiólogo francês, membro da Academia de Ciências, nascido em 1895 e falecido em 1985, é autor de impo
-
gravidadeA gravidade, ou gravitação, é a força que atrai todos os objetos entre si. É a mais facilmente ident
-
granitizaçãoOs domínios da fusão parcial e do metamorfismo sobrepõem-se, e os geólogos levantam o problema das r
-
GramíneasFamília de monocotiledóneas, também conhecida por Poáceas (Poaceae), que se distribui por cerca de 7
-
granitoFamília de rochas plutónicas constituídas fundamentalmente por feldspatos, quartzo e biotite. A pres
-
gravidezNo ser humano, a gravidez corresponde ao período de cerca de nove meses de gestação, a contar da fec
Partilhar
Como referenciar 
Thoralf Skolem na Infopédia [em linha]. Porto Editora. Disponível em https://www.infopedia.pt/artigos/$thoralf-skolem [visualizado em 2025-06-24 14:33:50].