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.
Articles by others on the same topic
There are currently no matching articles.