Skolem , Thoralf Albert
(1887–1963) Norwegian mathematician
The son of a teacher, Skolem was born at Sandsvaer in Norway and educated at the University of Oslo. He joined the faculty in 1911 and was appointed professor of mathematics in 1938, a post he held until his retirement in 1950.
Skolem is best known for his work in mathematical logic, including his contribution to the proof of the Lowenheim-Skolem theorem and the construction of the Skolem paradox.
The Lowenheim theorem of 1915, as generalized by Skolem in 1920, simply states that any schema satisfiable in some domain is satisfiable in a denumerably infinite domain. Denunerably infinite domains, also known as countable domains, can be matched in a one–one correspondence with the domain of natural numbers. Clearly the natural numbers are denumerably infinite, as are the even numbers and the rational numbers. There are in fact just as many even numbers as natural numbers, as can be seen from the correspondences set out below:
There are, however, domains, such as the domain of the real numbers, which cannot be put into such a correspondence with the natural numbers. Such domains are nondenumerably infinite.
Skolem pointed out in 1922 that this result leads to a new paradox in set theory. There are sets, the set of real numbers for example, which are nondenumerable. Yet, by the Lowenheim-Skolem theorem, they must be satisfiable in a denumerably infinite domain. Skolem proposed to defuse the paradox by claiming that notions such as nondenumerability have no absolute meaning, but can only be understood within the confines a particular axiomatic system. Thus a set may be nondenumerable within a system and denumerable outside. Consequently, the paradox will fail to arise.

Scientists. . 2011.

Look at other dictionaries:

  • Skolem — Thoralf Skolem Thoralf Albert Skolem (23 mai 1887 23 mars 1963) était un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le… …   Wikipédia en Français

  • Thoralf Skolem — Infobox Scientist name = Thoralf Skolem birth date = birth date|1887|5|23|mf=y birth place = Sandsvaer, Buskerud, Norway residence = nationality = death date = death date and age|1963|3|23|1887|5|23|mf=y death place = Oslo, Norway field =… …   Wikipedia

  • Thoralf Skolem — Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen… …   Deutsch Wikipedia

  • Skolem — Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen… …   Deutsch Wikipedia

  • Thoralf Skolem — Thoralf Albert Skolem (23 mai 1887 23 mars 1963) était un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de… …   Wikipédia en Français

  • Skolem —   [ skuː ], Albert Thoralf, norwegischer Mathematiker, * Sandsvær (Provinz Buskerud) 23. 5. 1887, ✝ Oslo 23. 3. 1963; Professor in Oslo (1938 57); frühe Arbeiten galten der Zahlentheorie und diophantischen Gleichungen. Ab 1919 wandte sich Skolem… …   Universal-Lexikon

  • Albert Thoralf Skolem — (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen Modelltheorie und… …   Deutsch Wikipedia

  • Thoralf — ist ein skandinavischer männlicher Vorname, abgeleitet vom altnordischen Þórr (Thor), der auch in Deutschland vorkommt.[1] Alternative Formen des Namens sind Toralf [2] oder Toralv. Inhaltsverzeichnis 1 Bekannte Namensträger 1.1 …   Deutsch Wikipedia

  • SKOLEM (A. T.) — SKOLEM ALBERT THORALF (1887 1963) Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p adiques …   Encyclopédie Universelle

  • Skolem-Paradox — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”