Thoralf Skolem
Thoralf Albert Skolem (May 23rd 1887 - March 23rd 1963) was a Mathématicien and Norwegian Logicien .
He is particularly known for work in Logique mathematics and Set theory which bears now its name, like the Théorème of Löwenheim-Skolem or the concept Skolémisation.
Biography
Entered to the university of Kristiania, it follows courses of Mathématiques, Physique, Chimie, Zoologie and Botanique. Its first publications are in physics, at the time where he was assistant of Kristian Birkeland. It did not support a thesis before 1926, not considering it essential in Norway. Its only doctorand was Øystein Ore besides, supporting its thesis in 1924, that is to say 2 years before its director.It Marie with Edith Wilhelmine Hasvold in 1927.
Work
Skolem was among the first to be worked on the lattice, describing a distributive lattice free generated by elements in 1912.
It is a pionner Théorie of the models. In 1920, it gives a new proof to a theorem that Leopold Löwenheim had established 5 years earlier: it is the Théorème of Löwenheim-Skolem (descendant), which establishes that any theory (first order) having an infinite model has a Dénombrable of it. Its proof then uses the Axiome of the choice, but it gives others later of them rather using the Lemme of König. This subjects the system of axioms of Zermelo to the Paradoxe of Skolem.
It also took part in the construction of model not standard.
External bonds
| Random links: | I like what I like | Relaciones exteriores de Grenada | Saint-Angel (Puy-de-Dôme) | Abqaiq | Park of Chandler | Turdus boulboul | Niclas_Jensen |