Haiti

João Pedro Marques

Quarenta árvores em discurso directo

António Bagão Félix

As histórias que nos matam

Maria Isaac

< 1 min

Thoralf Skolem
favoritos

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.

Thoralf A. Skolem, matemático norueguês
Partilhar
  • partilhar whatsapp
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].

Haiti

João Pedro Marques

Quarenta árvores em discurso directo

António Bagão Félix

As histórias que nos matam

Maria Isaac