Thoralf Skolem
personne
mathématicien norvégien
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Thoralf_Skolem
Lien Wikidata : https://www.wikidata.org/wiki/Q548080
Propriétés
- date_deces
- +1963-03-2
- date_naissance
- +1887-05-2
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q585", "label": "Oslo"}
- lieu_naissance
- {"qid": "Q6514591", "label": "Sandsvær"}
- nationalite
- Norvège
- occupation
- professeur d'université
- p106_all
- professeur d'université, mathématicien ou mathématicienne, philosophe