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… … Scientists

Science of Value — The science of value, or value science, is a creation of philosopher Robert S. Hartman, which attempts to formally elucidate value theory using both formal and symbolic logic. The fundamental principle, which functions as an axiom, and can be… … Wikipedia

König's paradox — Also known as the Zermelo– König paradox. There are non denumerably many real numbers, but only denumerably many of them are finitely definable. Given Zermelo s proof that the reals can be well ordered, the set of reals that are not finitely… … Philosophy dictionary

Skolem paradox — Leopold Löwenheim (1878–1948) in 1915 and Thoralf Skolem (1887–1963) in 1920 showed that any denumerable set of sentences that has a model has a denumerably infinite model. The theory of real numbers can be axiomatized as a theory with a… … Philosophy dictionary

Many-worlds interpretation — The quantum mechanical Schrödinger s cat paradox according to the many worlds interpretation. In this interpretation every event is a branch point; the cat is both alive and dead, even before the box is opened, but the alive and dead cats are in… … Wikipedia