Thoralf Skolem (1887–1963) was a Norwegian mathematician known for his significant contributions to mathematical logic, set theory, and model theory. He is best remembered for developing Skolem's paradox and for his work on the foundations of mathematics. One of his notable contributions is in the area of first-order logic and model theory, particularly regarding the completeness of first-order logic and the Löwenheim-Skolem theorem.
New to topics? Read the docs here!