Thoralf Albert Skolem
Thoralf Albert Skolem
1887-1963
Norwegian mathematician best known for his contributions to mathematical logic. The Skolem-Löwenheim theorem established that any class of formulas simultaneously satisfiable is also satisfiable in a denumerably infinite domain (1920). Skolem realized this led to a paradox—the apparent conflict between a set's magnitude in axiomatic theory and its magnitude in the more limited domain it is modeled in (1922). Skolem resolved the paradox by treating certain set-theoretic concepts, such as non-denumerability, as relative.
More From encyclopedia.com
Alfred Tarski , mathematical logic, set theory, algebra.
Trained as both a mathematician and a philosopher, Tarski discovered interconnections between such diverse a… Gottlob Frege , mathematics, logic, foundations of mathematics. For the original article on Frege see DSB, vol. 5.
Although a mathematician, Gottlob Frege is regarde… Bertrand Arthur William Russell , Russell, Bertrand Arthur William
RUSSELL, BERTRAND ARTHUR WILLIAM
(b. Trelleck, Monmouthshire, England, 18 May 1872: d. Plas Penrhyn, near Penrhyndeu… W. V. Quine , Willard Van Orman Quine (born 1908), American philosopher, is best known for his advocacy of the logical regimentation of ordinary language.
Graduate… Georg Ferdinand Ludwig Philip Cantor , Cantor, Georg Ferdinand Ludwig Philip
CANTOR, GEORG FERDINAND LUDWIG PHILIP
d. Halle, Germany, 6 January 1918), mathematics, set theory, philosophy.… Giuseppe Peano , Peano, Giuseppe
mathematics, logic.
Giuseppe Peano was the second of the five children of Bartolomeo Peano and Rosa Cavallo. His brother Michele was…
You Might Also Like
NEARBY TERMS
Thoralf Albert Skolem