Mathematician:Thoralf Albert Skolem

Norwegian mathematician who worked mainly in the fields of mathematical logic and set theory.

Nationality
Norwegian

History

 * Born: 23 May 1887, Sandsvaer, Buskerud, Norway
 * Died: 23 March 1963, Oslo, Norway

Theorems and Definitions

 * Skolem Normal Form
 * Skolem's Paradox
 * Skolem Sequence
 * Skolem-Noether Theorem (also discovered independently by Emmy Noether)

Books and Papers

 * 1923: Begründung der elementären Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnugsbereich
 * 1926: Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen
 * 1927: Zur Theorie der assoziativen Zahlensysteme (in which the Skolem-Noether Theorem can be found)
 * 1936: Über gewisse 'Verbände' oder 'Lattices'