Thoralf Skolem

Thoralf Skolem

Thoralf Albert Skolem (Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory.
agent
person
scientist
Person
Agent
NaturalPerson
Thing
Q215627
Q24229398
Q5
Q901
http://dbpedia.org/resource/Thoralf_Skolem
Øystein Ore
doctoral advisor
Axel Thue
doctoral student
Thoralf
Wikipage disambiguates
Chr. Michelsen Institute
1887 in Norway19631963 in NorwayAlbert Thoralf SkolemAlgebraic logicArnold_RossAutomated theorem provingAxel ThueAxiom of limitation of sizeAxiom of reducibilityAxiom schema of replacementCantor's first set theory articleClaude ChabautyContinuum hypothesisErnst SchröderErnst ZermeloFinitismFoundations of mathematicsFridtjof Nansen Prize for Outstanding ResearchGlossary of arithmetic and diophantine geometryGlossary of set theoryGunnerus MedalHerbrandizationHilbert's tenth problemHistory of logicHistory of mathematical notationHistory of the function conceptHyperintegerIndex of contemporary philosophy articlesIndex of philosophy articles (R–Z)InfinitesimalJean van HeijenoortKongsbergLeifur ÁsgeirssonLeopold LöwenheimList of International Congresses of Mathematicians Plenary and Invited SpeakersList of NorwegiansList of University of Göttingen peopleList of University of Oslo people
Link from a Wikipage to another Wikipage
Øystein Ore
doctoral advisor
Axel Thue
doctoral students
Thoralf_Skolem
primaryTopic

Thoralf Skolem

Thoralf Albert Skolem (Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory.
agent
person
scientist
Person
Agent
NaturalPerson
Thing
Q215627
Q24229398
Q5
Q901
http://dbpedia.org/resource/Thoralf_Skolem
has abstract
Albert Thoralf Skolem (Sandsvæ ...... ica e in teoria degli insiemi.
@it
Albert Thoralf Skolem (ur. 23 ...... tematycznej i teorii mnogości.
@pl
Albert Thoralf Skolem was een ...... et van het semantisch tableau.
@nl
Thoralf Albert Skolem (1887-19 ...... ou la notion de skolémisation.
@fr
Thoralf Albert Skolem (23. kvě ...... atické logiky a teorie množin.
@cs
Thoralf Albert Skolem (Norwegi ...... ematical logic and set theory.
@en
Thoralf Albert Skolem foi um m ...... mática e teoria dos conjuntos.
@pt
Thoralf Skolem (en noruec bokm ...... conjunts i lògica matemàtica.
@ca
Ту́ралф А́лберт Ску́лем (норв. ...... рактну алгебру, комбінаторику.
@uk
Туральф Альберт Скулем (норв. ...... еского общества в 1950-е годы.
@ru
academic discipline
alma mater
birth date
birth place
death date
death place
doctoral advisor
doctoral student
known for
residence
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
Link from a Wikipage to another Wikipage
alma mater
birth date
birth place
death date
death place
Oslo, Norway
@en
doctoral advisor
doctoral students
field
known for
name
Thoralf Skolem
@en
nationality
Norwegian
@en
residence
Norway
@en
wikiPageUsesTemplate
wordnet_type
work institution
subject
hypernym
sameAs
type
comment
Albert Thoralf Skolem (Sandsvæ ...... ica e in teoria degli insiemi.
@it
Albert Thoralf Skolem (ur. 23 ...... tematycznej i teorii mnogości.
@pl
Albert Thoralf Skolem was een ...... et van het semantisch tableau.
@nl
Thoralf Albert Skolem (1887-19 ...... ou la notion de skolémisation.
@fr
Thoralf Albert Skolem (23. kvě ...... atické logiky a teorie množin.
@cs
Thoralf Albert Skolem (Norwegi ...... ematical logic and set theory.
@en
Thoralf Albert Skolem foi um m ...... mática e teoria dos conjuntos.
@pt
Thoralf Skolem (en noruec bokm ...... conjunts i lògica matemàtica.
@ca
Ту́ралф А́лберт Ску́лем (норв. ...... рактну алгебру, комбінаторику.
@uk
Туральф Альберт Скулем (норв. ...... нений) и философию математики.
@ru
label
Albert Thoralf Skolem
@de
Albert Thoralf Skolem
@it
Thoralf Skolem
@ca
Thoralf Skolem
@cs
Thoralf Skolem
@en
Thoralf Skolem
@fr
Thoralf Skolem
@nl
Thoralf Skolem
@pl
Thoralf Skolem
@pt
Скулем, Туральф
@ru
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Thoralf Skolem
@en