Thoralf Skolem

Norwegian mathematician (1887-1963)
Person human Q548080
Thoralf Skolem
Unknown authorUnknown author · Public Domain · Wikimedia
Press Enter · cited answer in seconds

Thoralf Skolem

Summary

Thoralf Skolem is a human[1]. He was born in Sandsvær Municipality[2]. He was born on May 23, 1887[3]. He passed away in Oslo[4]. He died on March 23, 1963[5]. He worked as a mathematician[6], philosopher[7], university teacher[8], and logician[9]. He ranks in the top 0.72% of human entities by monthly Wikipedia readership (108 views/month, #7,247 of 1,000,298).[10]

Key Facts

  • Thoralf Skolem was born in Sandsvær Municipality[2].
  • Thoralf Skolem died in Oslo[4].
  • Thoralf Skolem was born on May 23, 1887[3].
  • Thoralf Skolem died on March 23, 1963[5].
  • Thoralf Skolem held citizenship in Norway[11].
  • Thoralf Skolem worked as a mathematician[6].
  • Thoralf Skolem worked as a philosopher[7].
  • Thoralf Skolem worked as a university teacher[8].
  • Thoralf Skolem's professions included logician[9].
  • Thoralf Skolem's field of work was mathematical logic[12].
  • Thoralf Skolem's field of work was model theory[13].
  • Thoralf Skolem's field of work was set theory[14].
  • Thoralf Skolem's field of work was abstract algebra[15].
  • Thoralf Skolem was employed by University of Oslo[16].
  • Among Thoralf Skolem's employers was Chr. Michelsen Institute[17].
  • Thoralf Skolem was employed by University of Oslo[18].
  • Thoralf Skolem's education included a stint at University of Oslo[19].
  • Thoralf Skolem's doctoral advisor was Axel Thue[20].
  • A notable student of Thoralf Skolem was Øystein Ore[21].
  • A notable work attributed to Thoralf Skolem is Skolem normal form[22].
  • A notable work attributed to Thoralf Skolem is Löwenheim–Skolem theorem[23].
  • A notable work attributed to Thoralf Skolem is Skolem's paradox[24].
  • A notable work attributed to Thoralf Skolem is Skolem–Noether theorem[25].
  • A notable work attributed to Thoralf Skolem is Skolem arithmetic[26].
  • A notable work attributed to Thoralf Skolem is Skolem problem[27].

Body

Origins and Family

Thoralf Skolem's place of birth was Sandsvær Municipality[2]. He was born on May 23, 1887[3].

Education

Thoralf Skolem's education included a stint at University of Oslo[19]. His doctoral advisor was Axel Thue[20]. He studied under Kristian Birkeland[28].

Career and Affiliations

Recorded occupations include mathematician[6], philosopher[7], university teacher[8], and logician[9]. Fields of work include mathematical logic[12], a branch of mathematics[29]; model theory[13], a mathematical theory[30]; set theory[14], a branch of mathematics[31]; and abstract algebra[15], a branch of mathematics[32]. Employers include University of Oslo[16], a public university[33], in Norway[34], founded in 1811[35], headquartered in Blindern[36] and Chr. Michelsen Institute[17], a research institute[37], in Norway[38], founded in 1930[39], headquartered in Bergen[40]. A notable student of Thoralf Skolem was Øystein Ore[21]. He supervised Øystein Ore as a doctoral student[41].

Works and Contributions

Notable works include Skolem normal form[22], a canonical form[42]; Löwenheim–Skolem theorem[23], a theorem[43]; Skolem's paradox[24], a paradox[44]; Skolem–Noether theorem[25], a theorem[45]; Skolem arithmetic[26], a mathematical concept[46]; and Skolem problem[27]. Things named for Thoralf Skolem include Löwenheim–Skolem theorem[47], a theorem[48]; Skolem's paradox[49], a paradox[50]; Skolem normal form[51], a canonical form[52]; Skolem–Noether theorem[53], a theorem[54]; and skolemization[55], a method[56].

Recognition

Awards received include Fridtjof Nansen Award of Excellence, Mathematics-Natural sciences class[57], a science award[58]; Gunnerus Medal[59], an award[60], in Norway[61], founded in 1926[62]; and Knight First Class of the Order of St. Olav‎[63], a grade of an order[64], in Norway[65].

Death and Burial

Thoralf Skolem died on March 23, 1963[5]. He died in Oslo[4].

Why It Matters

Thoralf Skolem ranks in the top 0.72% of human entities by monthly Wikipedia readership (108 views/month, #7,247 of 1,000,298).[10] He has Wikipedia articles in 17 language editions, a strong signal of global cultural recognition.[66] He is known by 19 alternative names across languages and contexts.[67]

Entities named for him include Löwenheim–Skolem theorem[47], a theorem[48]; Skolem's paradox[49], a paradox[50]; Skolem normal form[51], a canonical form[52]; Skolem–Noether theorem[53], a theorem[54]; and skolemization[55], a method[56].

His notable doctoral advisees include Øystein Ore[68], a mathematician[69], 1899–1968[70], of Norway[71], awarded the Guggenheim Fellowship[72], specialised in combinatorics[73].

FAQs

Where was Thoralf Skolem born?

Thoralf Skolem was born in Sandsvær Municipality[2].

Where did Thoralf Skolem die?

Thoralf Skolem passed away in Oslo[4].

What did Thoralf Skolem do for work?

Thoralf Skolem worked as mathematician[6], philosopher[7], university teacher[8], and logician[9].

Where did Thoralf Skolem go to school?

Thoralf Skolem was educated at University of Oslo[19].

What awards did Thoralf Skolem receive?

Honors received include Fridtjof Nansen Award of Excellence, Mathematics-Natural sciences class[57], Gunnerus Medal[59], and Knight First Class of the Order of St. Olav‎[63].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] . wikidata.org.
  2. [4] . wikidata.org.
  3. [11] . wikidata.org.
  4. [19] . wikidata.org.
  5. [12] . wikidata.org.
  6. [13] . wikidata.org.
  7. [14] . wikidata.org.
  8. [15] . wikidata.org.
  9. [6] . wikidata.org.
  10. [7] . wikidata.org.
  11. [8] . wikidata.org.
  12. [9] . wikidata.org.
  13. [16] . wikidata.org.
  14. [17] . wikidata.org.
  15. [18] . wikidata.org.
  16. [57] . wikidata.org.
  17. [59] . wikidata.org.
  18. [63] . wikidata.org.
  19. [20] . wikidata.org.
  20. [41] . wikidata.org.
  21. [3] . wikidata.org.
  22. [5] . wikidata.org.
  23. [22] . wikidata.org.
  24. [23] . wikidata.org.
  25. [24] . wikidata.org.
  26. [25] . wikidata.org.
  27. [26] . wikidata.org.
  28. [27] . wikidata.org.
  29. [21] . wikidata.org.
  30. [28] . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [68] . wikidata.org. → on this site
  2. [47] . wikidata.org. → on this site
  3. [49] . wikidata.org. → on this site
  4. [51] . wikidata.org. → on this site
  5. [53] . wikidata.org. → on this site
  6. [55] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [29] . Wikidata. wikidata.org. → on this site
  2. [30] . Wikidata. wikidata.org. → on this site
  3. [31] . Wikidata. wikidata.org. → on this site
  4. [32] . Wikidata. wikidata.org. → on this site
  5. [33] . Wikidata. wikidata.org. → on this site
  6. [34] . Wikidata. wikidata.org. → on this site
  7. [35] . Wikidata. wikidata.org. → on this site
  8. [36] . Wikidata. wikidata.org. → on this site
  9. [37] . Wikidata. wikidata.org. → on this site
  10. [38] . Wikidata. wikidata.org. → on this site
  11. [39] . Wikidata. wikidata.org. → on this site
  12. [40] . Wikidata. wikidata.org. → on this site
  13. [58] . Wikidata. wikidata.org. → on this site
  14. [60] . Wikidata. wikidata.org. → on this site
  15. [61] . Wikidata. wikidata.org. → on this site
  16. [62] . Wikidata. wikidata.org. → on this site
  17. [64] . Wikidata. wikidata.org. → on this site
  18. [65] . Wikidata. wikidata.org. → on this site
  19. [42] . Wikidata. wikidata.org. → on this site
  20. [43] . Wikidata. wikidata.org. → on this site
  21. [44] . Wikidata. wikidata.org. → on this site
  22. [45] . Wikidata. wikidata.org. → on this site
  23. [46] . Wikidata. wikidata.org. → on this site
  24. [69] . Wikidata. wikidata.org. → on this site
  25. [70] . Wikidata. wikidata.org. → on this site
  26. [71] . Wikidata. wikidata.org. → on this site
  27. [72] . Wikidata. wikidata.org. → on this site
  28. [73] . Wikidata. wikidata.org. → on this site
  29. [48] . Wikidata. wikidata.org. → on this site
  30. [50] . Wikidata. wikidata.org. → on this site
  31. [52] . Wikidata. wikidata.org. → on this site
  32. [54] . Wikidata. wikidata.org. → on this site
  33. [56] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [10] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [66] . Wikidata sitelinks. wikidata.org.
  3. [67] . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Thoralf Skolem. Retrieved April 10, 2026, from https://4ort.xyz/entity/thoralf-skolem
MLA “Thoralf Skolem.” 4ort.xyz Knowledge Graph, 4ort.xyz, 10 Apr. 2026, https://4ort.xyz/entity/thoralf-skolem.
BibTeX @misc{4ortxyz_thoralf-skolem_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Thoralf Skolem}}, year = {2026}, url = {https://4ort.xyz/entity/thoralf-skolem}, note = {Accessed: 2026-04-10}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Thoralf Skolem — https://4ort.xyz/entity/thoralf-skolem (retrieved 2026-04-10)

Canonical URL: https://4ort.xyz/entity/thoralf-skolem · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 11d ago · Anti-Strange-Ipek-Action · 2026-09-06 view diff on Wikidata ↗
    Nla trove people id 986264
    "/* wbcreateclaim-create:1| */ [[Property:P1315]]: 986264, [[:toollabs:quickstatements/#/batch/270963|batch #270963]]"
  2. 26d ago · Ajarmund · 2026-08-21 view diff on Wikidata ↗
    Norwegian historical register of persons id pc00000001909319
    "/* wbeditentity-statements-multiple-properties-update:0||3 */ add hreg id ([[:toollabs:editgroups/b/OR/73d81708909|details]])"
  3. 5w ago · Ajarmund · 2026-08-09 view diff on Wikidata ↗
    Residence Oslo Municipality
    Described by source Q116057105
    "/* wbeditentity-statements-multiple-properties-update:0||4 */ hvem er hvem 1948 ([[:toollabs:editgroups/b/OR/13e74922d5c|details]])"
  4. 9w ago · Nyuhn · 2026-07-10 view diff on Wikidata ↗
    P14541 1ccY3S
    Student of Kristian Birkeland
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/40849|batch #40849]]: ZGBK ID"
  5. 11w ago · IntensionalLogician · 2026-06-29 view diff on Wikidata ↗
    Occupation mathematician, philosopher, university teacher +1
    "/* wbsetclaim-create:2||1 */ [[Property:P106]]: [[Q14565331]]"
  6. 17w ago · Epìdosis · 2026-05-20 view diff on Wikidata ↗
    Notable work Skolem normal form, Löwenheim–Skolem theorem, Skolem's paradox +4
    Given name Albert, Thoralf
    Field of work mathematical logic, model theory, set theory +1
    Doctoral student Øystein Ore
    + 25 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32117|batch #32117]]: import P21 and P106 from GND (30)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.