Thoralf Albert Skolem

(redirected from Thoralf Skolem)
Also found in: Wikipedia.

Skolem, Thoralf Albert


Born May 23, 1887, in Sandsvær; died Mar. 23, 1963, in Oslo. Norwegian mathematician, logician, and philosopher.

Skolem graduated from the University of Oslo in 1913 and was appointed a professor there in 1938. He became a member of the Norwegian Academy of Science in 1938. Skolem’s works deal with the theory of numbers and various problems of logic and the philosophy of mathematics. His best-known result is the Skolem-Löwenheim theorem, according to which any axiomatic theory that has an infinite model also has a denumerable model. From this result follows Skolem’s paradox—that is, the relativity of such concepts as the denumerability, nondenumer-ability, and cardinal number of a set. The Skolem-Löwenheim theorem also implies the possibility of constructing nonstandard models of axiomatic theories (seeMODEL THEORY). Skolem’s results and ideas are used in research on computerized search for logical proofs.


Selected Works in Logic. Boston, 1970. [23–1531–]
References in periodicals archive ?
Sin embargo, algunos elementos de su teoria ya habian sido introducidos por el logico noruego Thoralf Skolem.
Significant early steps toward this end were taken by Leopold Lowenheim (1915), [29] and Thoralf Skolem [45], who studied the symbolic "satisfiability" of formal expressions.