Thoralf Skolem

Thoralf Skolem
source
Name	Thoralf Skolem
Caption	Thoralf Skolem
Birth date	23 May 1887
Birth place	Sandsvær, Buskerud, Union between Sweden and Norway
Death date	23 March 1963
Death place	Oslo, Norway
Fields	Mathematical logic, Set theory, Model theory
Alma mater	Royal Frederick University
Doctoral advisor	Axel Thue
Known for	Skolem's paradox, Löwenheim–Skolem theorem, Skolem normal form, Skolem arithmetic
Prizes	Gunnerus Medal (1962)

Thoralf Skolem. He was a pioneering Norwegian mathematician whose foundational work in mathematical logic and set theory profoundly shaped twentieth-century foundations of mathematics. Working largely in isolation from the major centers of mathematical logic in Europe, Skolem made seminal contributions including the Löwenheim–Skolem theorem and the articulation of Skolem's paradox. His rigorous, finitistic approach and skepticism of axiomatic set theory placed him as a critical figure in the debates surrounding the foundations of mathematics.

Biography

Thoralf Skolem was born in Sandsvær, Buskerud, within the Union between Sweden and Norway. He began his university studies at the Royal Frederick University in Oslo in 1905, initially focusing on physics, chemistry, mathematics, and zoology. His early academic career was interrupted by service in the Norwegian Army, but he returned to complete his doctorate in 1926 under the supervision of Axel Thue. Skolem spent his entire professional life in Norway, working primarily at the University of Oslo and later at the Chr. Michelsen Institute in Bergen. He was a member of the Norwegian Academy of Science and Letters and received honors such as the Gunnerus Medal in 1962.

Mathematical work

Skolem's research was central to the development of mathematical logic. He provided a simplified proof of the Löwenheim–Skolem theorem, a cornerstone of model theory which states that if a first-order theory has an infinite model, it has models of all infinite cardinalities. He introduced Skolem normal form and the method of Skolem functions, crucial techniques in proof theory and automated theorem proving. In set theory, he was an early advocate for the axiom of choice but a staunch critic of impredicative definitions used in systems like Zermelo–Fraenkel set theory. His work in number theory includes the study of Diophantine equations and structures now known as Skolem arithmetic.

Skolem's paradox

Skolem's paradox arises from the Löwenheim–Skolem theorem and its implications for axiomatic set theory. The paradox notes that systems like Zermelo–Fraenkel set theory, which purport to describe uncountably infinite sets, must themselves have a countable model if they are consistent. This apparent contradiction—that a theory which proves the existence of uncountable sets can be satisfied by a countable universe—challenged the ontological status of mathematical objects. Skolem used this result to argue for a relativism in set-theoretic concepts, influencing later philosophical debates in the philosophy of mathematics and the work of logicians like Kurt Gödel.

Influence and legacy

Skolem's insistence on finitism and constructive proof positioned him as a forerunner to later constructivist movements. His results fundamentally influenced the development of model theory, a field later expanded by Alfred Tarski and his school. The Skolem–Noether theorem in abstract algebra, while primarily the work of Emmy Noether, bears his name due to related early contributions. Concepts like Skolem hulls and the Skolem problem remain active research topics. His critical perspective on foundations of mathematics provided a crucial counterpoint to the programs of David Hilbert and the Platonism of many set theorists.

Selected publications

Skolem's extensive body of work includes the seminal paper "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen" (1920), which contains his proof of the Löwenheim–Skolem theorem. His 1923 lecture "Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre" at the Fifth Congress of Scandinavian Mathematicians further developed his views on Skolem's paradox. Important later works include "Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen" (1934) on Peano axioms, and "Abstract Set Theory" (1962), co-authored with Øystein Ore. Category:Norwegian mathematicians Category:Mathematical logicians Category:1887 births Category:1963 deaths