Detail map of Ullevål, Oslo, Oslo, Norway Overview map of Ullevål, Oslo, Oslo, Norway

A: Ullevål, Oslo, Oslo, Norway

Skolem's Contribution to the Lowenheim-Skolem Theorem

1920
photo of Thoraf Albert Skolem

Thoraf Albert Skolem

In 1920 Norwegian mathematician Thoraf Albert Skolem of the University of Oslo proved the Lowenheim-Skolem theorem, a landmark in mathematical logic. Skolem's paper was first published as "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen", Videnskapsselskapet Skrifter, I. Matematisk-naturvidenskabelig Klasse 6 (1920) 1–36.

Hook & Norman, Origins of Cyberspace (2002) No. 365. An English translation of Skolem's paper appears in van Heijenoort, From Frege to Gödel (1967) 254-63.

Timeline Themes