Thoralf Skolem

Thoralf Albert Skolem was a Norwegian mathematician. He was born on May 23, 1887, and died on March 23, 1963.

Skolem made important contributions to mathematical logic and set theory.

He is best known for his work in mathematical logic. He developed what are now called Skolem functions. These functions help solve problems in logic. They are important for understanding the basics of mathematics.

In set theory, Skolem introduced new ideas. These ideas changed how mathematicians think about infinite sets. His work showed that some assumptions about sets could lead to surprising results. This influenced how mathematicians study infinity today.

Because of his important discoveries, Thoralf Skolem is remembered as a key figure in modern mathematics. His ideas are still studied and used by mathematicians around the world.

Life

Thoralf Skolem grew up in a family where his father was a teacher and most of his relatives were farmers. He went to secondary school in Kristiania, now called Oslo, and passed his university exams in 1905. He studied mathematics at Det Kongelige Frederiks Universitet, and also took classes in physics, chemistry, zoology, and botany.

Skolem worked with physicist Kristian Birkeland and they wrote some physics papers together. In 1913, he finished his dissertation and earned his Ph.D. in 1926. He taught at the university, which became the University of Oslo in 1939. He later worked at the Chr. Michelsen Institute in Bergen. He returned to Oslo in 1938 as a professor. After retiring in 1957, he visited and taught in the United States until his death.

Mathematics

Thoralf Skolem was a mathematician who wrote many important papers about different areas of math, such as solving equations, groups, and set theory. One of his famous works is called the Skolem–Noether theorem. This theorem helps us understand certain types of algebraic structures. He also made big contributions to a branch of math called lattice theory.

Skolem was one of the first people to study something called model theory. He made simpler proofs for important math theorems and helped create new ways to understand numbers and sets. His ideas are still used by mathematicians today.

Completeness

Thoralf Skolem made important discoveries in mathematical logic. In the early 1920s, he proved results that helped show the completeness of first-order logic. Later, Kurt Gödel formally proved this completeness in 1930.

Skolem was careful about using infinite numbers and helped start a way of thinking in math called finitism. He created a system for studying numbers using primitive recursion, an early step toward what we now call computer science. In 1929, another mathematician named Presburger showed that a certain number system without multiplication was consistent, complete, and decidable. The next year, Skolem proved the same for a system without addition, now called Skolem arithmetic. Later, Gödel showed that a fuller number system with both addition and multiplication cannot be complete.