Mathematician:Thoralf Albert Skolem
(Redirected from Mathematician:Thoralf Skolem)
Jump to navigation
Jump to search
Mathematician
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 Sequence
- Zermelo-Fraenkel-Skolem Set Theory (with Ernst Friedrich Ferdinand Zermelo and Abraham Halevi Fraenkel)
- Skolem's Paradox
- Skolem-Noether Theorem (also discovered independently by Emmy Noether)
- Ramanujan-Skolem's Theorem (with Srinivasa Aiyangar Ramanujan)
- Löwenheim-Skolem Theorem (with Leopold Löwenheim), which appears in two forms:
Results named for Thoralf Albert Skolem can be found here.
Definitions of concepts named for Thoralf Albert Skolem can be found here.
Publications
- 1920: Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen
- 1922: Axiomatized set theory
- 1922: Einige Bemerkungen zu axiomatischen Begründung der Mengenlehre
- 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)
- 1929: Über einige Grundlagenfragen der Mathematik
- 1936: Über gewisse 'Verbände' oder 'Lattices'
- 1957: On certain distributions of integers in pairs with given differences