Thoralf Skolem

From Exampleproblems

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

Template:MathbiostubTemplate:Norway-bio-stubde:Albert Thoralf Skolem sl:Albert Thoralf Skolem ja:トアルフ・スコーレム