Seshat : Thoralf Albert Skolem

Thoralf Albert Skolem (Norvège)

Sandsvaerveien, 23 mai 1887 - Oslo, 23 mars 1963

Biographie

Thoralf Albert Skolem était un mathématicien et logicien norvégien.
Entré à l'université de Kristiania, il suit des cours de mathématiques, physique, chimie, zoologie et botanique. Ses premières publications sont en physique, à l'époque où il était assistant de Kristian Birkeland. Il n'a pas soutenu de thèse avant 1926, ne la jugeant pas indispensable en Norvège. Son seul doctorant fut d'ailleurs Oystein Ore, soutenant sa thèse en 1924, soit 2 ans avant son directeur.

Biographie dans MacTutor : http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Skolem.html (consulter la traduction automatique)


Travaux en mathématiques

Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion skolémisation.
Skolem fut parmi les premiers à travailler sur les treillis, décrivant un treillis distributif libre engendré par n éléments en 1912.
C'est un pionnier de la théorie des modèles. En 1920, il donne une nouvelle preuve à un théorème que Leopold Löwenheim avait établi 5 ans plus tôt : c'est le théorème de Löwenheim-Skolem (descendant), qui établit que toute théorie (du premier ordre) ayant un modèle infini en a un dénombrable. Sa preuve utilise alors l'axiome du choix, mais il en donne plus tard d'autres utilisant plutôt le lemme de König. Ceci soumet le système d'axiomes de Zermelo au paradoxe de Skolem.
Il participa également à la construction de modèles non standard.


Lieu de naissance

Nom à l'époque : Sandsvaerveien

Pays à l'époque : Norvège



Nom actuel : Sandsvaerveien

Pays actuel : Norvège

Agrandir le plan


Arbre généalogique mathématique

Voir sa fiche dans The Mathematics Genealogy Project


Mathématiciens contemporains de Thoralf Albert Skolem

Situer Thoralf Albert Skolem dans la chronologie des mathématiciens

Howard Hathaway Aiken (1900 - 1973)
Pavel Sergeevitch Alexandrov (1896 - 1982)
Jacob Amsler (1823 - 1912)
Paul Emile Appell (1855 - 1930)
Emil Artin (1898 - 1962)
René-Louis Baire (1874 - 1932)
Alan Baker (1939)
Henry Frederick Baker (1866 - 1956)
Stefan Banach (1892 - 1945)
Nina Karlovna Bari (1901 - 1961)
Claude Berge (1926 - 2002)
Felix Bernstein (1878 - 1956)
Abram Samoilovitch Besicovitch (1891 - 1970)
Luigi Bianchi (1856 - 1928)
Vilhelm Frimann Koren Bjerknes (1862 - 1951)
Harald Bohr (1887 - 1951)
Enrico Bombieri (1940)
Alicia Boole Stott (1860 - 1940)
Félix Edouard Justin Emile Borel (1871 - 1956)
Valentina Mikhailovna Borok (1931 - 2004)
Ladislaus Josephovich Bortkiewicz (1868 - 1931)
Nicolas Bourbaki (1935 - 1968)
Jacob Bronowski (1908 - 1974)
Luitzen Egbertus Jan Brouwer (1881 - 1966)
Marjorie Lee Browne (1914 - 1979)
Renato Caccioppoli (1904 - 1959)
Florian Cajori (1859 - 1930)
Francesco Paolo Cantelli (1875 - 1966)
Georg Ferdinand Ludwig Philipp Cantor (1845 - 1918)
Constantin Carathéodory (1859 - 1950)
Torsten Carleman (1892 - 1949)
Fritz Carlson (1888 - 1952)
Élie Joseph Cartan (1869 - 1951)
Henri Paul Cartan (1904 - 2008)
John William Scott Cassels (1922)
Guido Castelnuovo (1865 - 1952)
David Gawen Champernowne (1912 - 2000)
Shiing-shen Chern (1911 - 2004)
André-Louis Cholesky (1875 - 1918)
Paul Joseph Cohen (1934 - 2007)
Lothar Collatz (1910 - 1990)
John Horton Conway (1937)
Richard Courant (1888 - 1972)
Elbert Frank Cox (1895 - 1969)
Gertrude Mary Cox (1900 - 1978)
Harold Scott MacDonald Coxeter (1907 - 2003)
George Bernard Dantzig (1914 - 2005)
Ennio De Giorgi (1928 - 1996)
Georges de Rham (1903 - 1990)
Julius Wilhelm Richard Dedekind (1831 - 1916)
Max Wilhelm Dehn (1878 - 1952)
Boris Nikolaevich Delone (1890 - 1980)
Leonard Eugene Dickson (1874 - 1954)
Jean Alexandre Eugène Dieudonné (1906 - 1992)
Edsger Wybe Dijkstra (1930 - 2002)
Ulisse Dini (1845 - 1918)
Paul Adrien Maurice Dirac (1902 - 1984)
Wolfgang Doeblin (1915 - 1940)
Marie-Louise Dubreil-Jacotin (1903 - 1972)
Henry Ernest Dudeney (1857 - 1930)
José Echegaray y Eizaguirre (1832 - 1916)
Winifred Edgerton Merrill (1862 - 1951)
Paul Erdös (1913 - 1996)
Agner Krarup Erlang (1878 - 1929)
Maurits Cornelis Escher (1898 - 1972)
Machgielis Euwe (1901 - 1981)
Gyula Farkas (1847 - 1930)
Mary Celine Fasenmyer (1906 - 1996)
John Charles Fields (1863 - 1932)
Ernst Sigismund Fischer (1875 - 1954)
Ronald Aylmer Fisher (1890 - 1962)
Andrew Russell Forsyth (1858 - 1942)
Maurice René Fréchet (1878 - 1973)
Erik Ivar Fredholm (1866 - 1927)
William F. Friedman (1891 - 1969)
Alexandre Alexandrovitch Friedmann (1888 - 1925)
Ferdinand Georg Frobenius (1849 - 1917)
Albrecht Fröhlich (1916 - 2001)
Francis Galton (1822 - 1911)
Martin Gardner (1914 - 2010)
Hilda Geiringer von Mises (1893 - 1973)
Karl Friedrich Geiser (1881 - 1934)
Gerhard Gentzen (1909 - 1945)
Paul Albert Gordan (1837 - 1912)
William Sealey Gosset (1876 - 1937)
Edouard Jean-Baptiste Goursat (1858 - 1936)
Alexander Grothendieck (1928 - 2014)
Kurt Gödel (1906 - 1978)
Jacques Salomon Hadamard (1865 - 1963)
Paul Richard Halmos (1916 - 2006)
Godfrey Harold Hardy (1877 - 1947)
Felix Hausdorff (1868 - 1942)
Oliver Heaviside (1850 - 1925)
Erich Hecke (1887 - 1947)
Hans Arnold Heilbronn (1908 - 1975)
David Hilbert (1862 - 1943)
Herman Hollerith (1860 - 1929)
Heinz Hopf (1894 - 1971)
Witold Hurewicz (1904 - 1956)
Adolf Hurwitz (1859 - 1919)
Kiyosi Itô (1915 - 2008)
Kenkichi Iwasawa (1917 - 1998)
William Ernest Johnson (1858 - 1931)
Marie Ennemond Camille Jordan (1838 - 1922)
Gaston Maurice Julia (1893 - 1978)
Dattatreya Ramachandra Kaprekar (1905 - 1986)
Linda Jo Goldway Keen (1940)
Alexandre Iakovlevitch Khintchine (1894 - 1959)
Felix Christian Klein (1849 - 1925)
Donald Ervin Knuth (1938)
Niels Fabian Helge von Koch (1870 - 1924)
Kunihiko Kodaira (1915 - 1997)
Andreï Nikolaïevich Kolmogorov (1903 - 1987)
Wolfgang Krull (1899 - 1971)
Kazimierz Kuratowski (1896 - 1980)
Martin Wilhelm Kutta (1867 - 1944)
Charles Jean Gustave Nicolas de La Vallée Poussin (1866 - 1962)
Christine Ladd-Franklin (1847 - 1930)
Emanuel Lasker (1868 - 1941)
Henri Léon Lebesgue (1875 - 1941)
Solomon Lefschetz (1884 - 1972)
Emma Markovna Trotskaia Lehmer (1906 - 2007)
Norman Levinson (1912 - 1975)
Alexandre Mikhailovitch Liapounov (1857 - 1918)
Carl Louis Ferdinand von Lindemann (1852 - 1939)
Jacques-Louis Lions (1928 - 2001)
John Edensor Littlewood (1885 - 1977)
Edward Norton Lorenz (1917 - 2008)
Samuel Loyd (1841 - 1911)
Jan Lukasiewicz (1878 - 1956)
Nikolaï Nikolaïevitch Luzin (1883 - 1950)
Leopold Löwenheim (1878 - 1957)
Benoît Mandelbrot (1924 - 2010)
Andrei Andreevitch Markov (1856 - 1922)
Barry Charles Mazur (1937)
Karl Menger (1902 - 1985)
Hermann Minkowski (1864 - 1909)
Gösta Mittag-Leffler (1846 - 1927)
David Bryant Mumford (1937)
John Forbes Nash (1928 - 2015)
Evelyn Merle Roden Nelson (1943 - 1987)
Simon Newcomb (1835 - 1909)
Phyllis Nicolson (1917 - 1968)
Florence Nightingale (1820 - 1910)
Emmy Noether (1882 - 1935)
Olga Arsenievna Oleinik (1925 - 2001)
Giuseppe Peano (1858 - 1932)
Karl Pearson (1857 - 1936)
Charles Emile Picard (1856 - 1941)
Georg Alexander Pick (1859 - 1943)
Michel Plancherel (1885 - 1967)
Josip Plemelj (1873 - 1967)
Jules Henri Poincaré (1854 - 1912)
George Pólya (1887 - 1985)
Lev Semionovitch Pontriagine (1908 - 1988)
Willard Van Orman Quine (1908 - 2000)
Srinivasa Aiyangar Ramanujan (1887 - 1920)
Frank Plumpton Ramsey (1903 - 1930)
Helena Rasiowa (1917 - 1994)
Mina Spiegel Rees (1902 - 1997)
Gregorio Ricci-Curbastro (1853 - 1925)
Abraham Robinson (1918 - 1974)
Julia Hall Bowman Robinson (1919 - 1985)
Carle David Tolmé Runge (1856 - 1927)
Bertrand Arthur William Russell (1872 - 1970)
Raphaël Salem (1898 - 1963)
Leonard Jimmie Savage (1917 - 1971)
Henry Scheffé (1907 - 1977)
Isaac Jacob Schoenberg (1903 - 1990)
Laurent Schwartz (1915 - 2002)
Hermann Amandus Schwarz (1843 - 1921)
Arthur Moritz Schönflies (1853 - 1928)
Atle Selberg (1917 - 2007)
John Greenlees Semple (1904 - 1985)
Jean-Pierre Serre (1926)
Claude Elwood Shannon (1916 - 2001)
Carl Ludwig Siegel (1896 - 1981)
Waclaw Franciszek Sierpinski (1882 - 1969)
Alexander Ivanovich Skopin (1927 - 2003)
Vladimir Ivanovitch Smirnov (1887 - 1974)
Hugo Dionizy Steinhaus (1887 - 1972)
Vladimir Andreevich Steklov (1864 - 1926)
Marshall Harvey Stone (1903 - 1989)
Dirk Jan Struik (1894 - 2000)
Michio Suzuki (1926 - 1998)
Peter Ludwig Mejdell Sylow (1832 - 1918)
Teiji Takagi (1875 - 1960)
Yutaka Taniyama (1927 - 1958)
Alfred Tarski (1902 - 1983)
Nikolaï Grigorevitch Tchebotarov (1894 - 1947)
René Thom (1923 - 2002)
D'arcy Wentworth Thompson (1860 - 1948)
John Griggs Thompson (1932)
Axel Thue (1863 - 1922)
Edward Charles Titchmarsh (1899 - 1963)
Jacques Tits (1930)
Francesco Giacomo Tricomi (1897 - 1978)
John Wilder Tukey (1915 - 2000)
Alan Mathison Turing (1912 - 1954)
Stanislaw Marcin Ulam (1909 - 1984)
Mikhail Egorovich Vashchenko-Zakharchenko (1825 - 1912)
Oswald Veblen (1880 - 1960)
Ernest Vessiot (1865 - 1952)
Ivan Matveievitch Vinogradov (1891 - 1983)
Vito Volterra (1860 - 1940)
Walther Franz Anton von Dyck (1856 - 1934)
Richard Edler von Mises (1883 - 1953)
John von Neumann (1903 - 1957)
Abraham Wald (1902 - 1950)
Heinrich Martin Weber (1842 - 1913)
André Weil (1906 - 1998)
Hermann Klaus Hugo Weyl (1885 - 1955)
Anna Johnson Pell Wheeler (1883 - 1966)
Alfred North Whitehead (1861 - 1947)
John Henry Constantine Whitehead (1904 - 1960)
Hassler Whitney (1907 - 1989)
Edmund Taylor Whittaker (1873 - 1956)
Norbert Wiener (1894 - 1964)
Ludwig Josef Johann Wittgenstein (1899 - 1954)
Laurence Chisholm Young (1905 - 2000)
Oscar Zariski (1899 - 1986)
Ernst Friedrich Ferdinand Zermelo (1871 - 1953)
Nikolai Egorovitch Zhukovski (1847 - 1921)
Max August Zorn (1906 - 1993)