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 October 4, 2026, from https://4ort.xyz/entity/thoralf-skolem
MLA “Thoralf Skolem.” 4ort.xyz Knowledge Graph, 4ort.xyz, 4 Oct. 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-10-04}}
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-10-04)

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. 4w 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. 6w 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. 8w 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. 12w 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. 14w ago · IntensionalLogician · 2026-06-29 view diff on Wikidata ↗
    Occupation → mathematician, philosopher, university teacher +1
    "/* wbsetclaim-create:2||1 */ [[Property:P106]]: [[Q14565331]]"
  6. 19w 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.