Mathematician:Thoralf Albert Skolem

From ProofWiki
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

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


Sources