Thoralf Skolem

61
Thoralf Skolem bigraphy, stories - Norwegian mathematician

Thoralf Skolem : biography

23 May 1887 – 23 March 1963

Thoralf Albert Skolem (23 May 1887 – 23 March 1963) () was a Norwegian mathematician known mainly for his work on mathematical logic and set theory.

Life

Although Skolem’s father was a primary school teacher, most of his extended family were farmers. Skolem attended secondary school in Kristiania (later renamed Oslo), passing the university entrance examinations in 1905. He then entered Det Kongelige Frederiks Universitet to study mathematics, also taking courses in physics, chemistry, zoology and botany.

In 1909, he began working as an assistant to the physicist Kristian Birkeland, known for bombarding magnetized spheres with electrons and obtaining aurora-like effects; thus Skolem’s first publications were physics papers written jointly with Birkeland. In 1913, Skolem passed the state examinations with distinction, and completed a dissertation titled Investigations on the Algebra of Logic. He also traveled with Birkeland to the Sudan to observe the zodiacal light. He spent the winter semester of 1915 at the University of Göttingen, at the time the leading research center in mathematical logic, metamathematics, and abstract algebra, fields in which Skolem eventually excelled. In 1916 he was appointed a research fellow at Det Kongelige Frederiks Universitet. In 1918, he became a Docent in Mathematics and was elected to the Norwegian Academy of Science and Letters.

Skolem did not at first formally enroll as a Ph.D. candidate, believing that the Ph.D. was unnecessary in Norway. He later changed his mind and submitted a thesis in 1926, titled Some theorems about integral solutions to certain algebraic equations and inequalities. His notional thesis advisor was Axel Thue, even though Thue had died in 1922.

In 1927, he married Edith Wilhelmine Hasvold.

Skolem continued to teach at Det kongelige Frederiks Universitet (renamed the University of Oslo in 1939) until 1930 when he became a Research Associate in Chr. Michelsen Institute in Bergen. This senior post allowed Skolem to conduct research free of administrative and teaching duties. However, the position also required that he reside in Bergen, a city which then lacked a university and hence had no research library, so that he was unable to keep abreast of the mathematical literature. In 1938, he returned to Oslo to assume the Professorship of Mathematics at the university. There he taught the graduate courses in algebra and number theory, and only occasionally on mathematical logic. Over the course of his entire career, he had but one Ph.D. student, but that student was a productive one, Øystein Ore, who went on to a career in the USA.

Skolem served as president of the Norwegian Mathematical Society, and edited the Norsk Matematisk Tidsskrift ("The Norwegian Mathematical Journal") for many years. He was also the founding editor of Mathematica Scandinavica.

After his 1957 retirement, he made several trips to the United States, speaking and teaching at universities there. He remained intellectually active until his sudden and unexpected death.

For more on Skolem’s life, see Fenstad (1970).

Mathematics

Skolem published around 180 papers on Diophantine equations, group theory, lattice theory, and most of all, set theory and mathematical logic. He mostly published in Norwegian journals with limited international circulation, so that his results were occasionally rediscovered by others. An example is the Skolem–Noether theorem, characterizing the automorphisms of simple algebras. Skolem published a proof in 1927, but Emmy Noether independently rediscovered it a few years later.

Skolem was among the first to write on lattices. In 1912, he was the first to describe a free distributive lattice generated by n elements. In 1919, he showed that every implicative lattice (now also called a Skolem lattice) is distributive and, as a partial converse, that every finite distributive lattice is implicative. After these results were rediscovered by others, Skolem published a 1936 paper in German, "Über gewisse ‘Verbände’ oder ‘Lattices’", surveying his earlier work in lattice theory.