Thoralf Skolem - Definition and Overview

Albert Thoralf Skolem (May 23, 1887 - March 23, 1963) was a Norwegian mathematician. He worked mostly on mathematical logic.

See:

• Löwenheim-Skolem theorem
• Skolemization, Skolem function, Skolem normal form
• Skolem-Noether theorem

External link

• Short biography (http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Skolem.html)