| Previous | (Chronologically) | Next | Biographies Index |
| Previous | (Alphabetically) | Next | Main index
|
Thoralf Skolem worked on Diophantine equations, mathematical logic, group theory, lattice theory and set theory. In 1912 he produced a description of a free distributive lattice. He made refinements to Zermelo's axiomatic set theory, publishing work in 1922 and 1929.
Skolem extended work by Löwenheim (1915) to give the Löwenheim- Skolem theorem, which states that if a theory has a model then it has a countable model. From 1933 he did pioneering work in metalogic and constructed a nonstandard model of arithmetic.
He also developed the theory of recursive functions as a means
of avoiding the so-called paradoxes of the infinite.
Texto original por: J J O'Connor and E F Robertson
Click on this link to see a list of the Glossary entries for this page
| List of References (6 books/articles)
| |
| Mathematicians born in the same country | |
| Other Web sites |
| JOC/EFR December 1996 | School of
Mathematics and Statistics University of St Andrews, Scotland | 
|
| The URL of this page
is: http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Skolem.htm | ||