Thoralf Skolem
Z Wikipedie, otevřené encyklopedie
Thoralf Albert Skolem (23. květen, 1887 - 23. březen, 1963), norský matematik proslul prací v oblasti matematické logiky a teorie množin.
Obsah |
[editovat] život
Skolem pocházel z farmářské rodiny. Jeho otec byl učitelem na národní škole. Skolem studoval střední školu v Kristiania (nynější Oslo). Na Universitě v Kristiana pak studoval matematiku, fyziku, chemii, zoologii a botaniku.
V roce 1909, on začal pracovat jako asistent fyzika Birkelanda, známého pracemi o magnetické sféře elektronů. V roce 1918 se stal Docentem matematiky a byl zvolen do Norské akademie věd a učitelství.
V roce 1927 se oženil s Edith Wilhelmine Hasvold.
Skolem stále učil na Universitě v Oslo až do 1930. Pak se věnoval výzkumu v Bergen. V roce 1938 se vrátil do Oslo, kde byl jmenován profesorem a učil algebru a číselnou teorii, příležitostně také matematickou logiku. Byl zakládajícím redaktorem časopisu 'Mathematicaa Scandinavica'.
Po roce 1957, v důchodu absolvoval několik cest do Spojených států, kde vyučoval až do náhlé a neočekávané smrti.
[editovat] matematika
Skolem publikoval kolem 180 zpráv na téma Diophantineovy rovnosti, teorie grup, teorie svazu, teorie množin a matematická logika. Většinou publikoval v norských časopisech s omezeným mezinárodním oběhem, takže jeho výsledky byly občas nově objevované později jinde. Příkladem je Skolem - Noether poučka, charakterizující automorfismy jednoduchých algeber. Skolem publikoval důkaz již v roce 1927, ale Emmy Noether, považovaný původně za autora, to objevil nezávisle na Skolemovi o pár let později.
Matematiky potěšila Skolemova mříž používané k mapování v teorii svazů. Skolem byl průkopníkem modelové teorie. V roce 1920 přispěl další svou větou, Lowenheim - Skolemovou poučkou: jestliže teorie prvního řádu má model, pak má spočitatelný model. V roce 1933 a později se Skolem věnoval problémům nestandardního modelu v počtu a teorii množin.
Skolem je považován za průkopníka teorie počítačové vědy.
[editovat] reference
- Skolem, T. A., 1970. Selected works in logic, Fenstad, J. E., ed. Oslo: Scandinavian University Books. Contains 22 articles in German, 26 in English, 2 in French, 1 English translation of an article originally published in Norwegian, and a complete bibliography.
Writings in English translation:
- Jean van Heijenoort, 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press.
- 1920. "Logico-combinatorial investigations on the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by Loewenheim," 252-63.
- 1922. "Some remarks on axiomatized set theory," 290-301.
- 1923. "The foundations of elementary arithmetic," 302-33.
- 1928. "On mathematical logic," 508-24.
- Brady, Geraldine, 2000. From Peirce to Skolem. North Holland.
- Fenstad, Jens Erik, 1970, "Thoralf Albert Skolem in Memoriam" in Skolem (1970: 9-16).
- Hao Wang, 1970, „A survey of Skolem's work in logic“ in Skolem (1970: 17-52).
[editovat] Odkazy na stránky
- MacTutor: Thoralf Skolem.
- Thoralf Skolem na The Mathematics Genealogy Project (anglicky)
- Fenstad, Jens Erik, 1996, "Thoralf Albert Skolem 1887-1963: A Biographical Sketch," Nordic Journal of Philosophical Logic 1: 99-106.
