Skolem, Turalf

Turalf Albert Skolem
Thoralf Albert Skolem
Numele la naștere Bokmål Thoralf Albert Skolem
Data nașterii 23 mai 1887( 23.05.1887 ) [1] [2] [3] […]
Locul nașterii Sunsver , Buskerud
Data mortii 23 martie 1963( 23.03.1963 ) [1] [2] [3] […] (în vârstă de 75 de ani)
Un loc al morții
Țară
Sfera științifică logica matematica
Loc de munca
Alma Mater
consilier științific Axel Thue [4]
Elevi Oistin Ore
Cunoscut ca A demonstrat teorema Löwenheim-Skolem
Premii și premii Premiul Fridtjof Nansen pentru cercetări semnificative în matematică și științe naturale [d] ( 1938 ) Medalia Gunnerus [d] ( 1962 )
 Fișiere media la Wikimedia Commons

Turalf Albert Skolem ( norvegiană Thoralf Albert Skolem , în traducerile timpurii transliterat ca Thoralf Skolem ; 23 mai 1887 , Sansver - 23 martie 1963 , Oslo) - matematician norvegian , lucrare principală - în domeniul fundamentelor matematicii și logicii matematice, de asemenea a avut o contribuție semnificativă la algebra generală (teoriile rețelelor și inelelor ), teoria numerelor ( teoria ecuațiilor diofantine ) și filosofia matematicii .

Una dintre afirmațiile cheie în teoria modelului este asociată cu numele său  - teorema Löwenheim-Skolem , paradoxul filosofic și matematic Skolem , precum și forma normală Skolem în logica de ordinul întâi , teorema Skolem în combinatorică , Teorema Skolem-Noether  - rezultat fundamental în teoria algebrelor centrale simple . Profesor la Universitatea din Oslo (1938-1957), președinte al Societății Norvegiene de Matematică în anii 1950.

Biografie

S-a născut la 23 mai 1887 în orășelul Sansvær ( norvegiană: Sandsvær ) din județul Buskerud (acum parte din Kongsberg ). Tatăl – chiar și Skolem – a fost profesor de școală elementară, dar familia se ocupa în principal de agricultură [5] . În 1905 a absolvit liceul în Christiania , după ce a terminat şcoala a intrat imediat la universitate . În timp ce studia la universitate, din 1909 a lucrat ca asistent al fizicianului Christian Birkeland , primele publicații științifice aparțin aceleiași perioade - articole comune cu Birkeland despre reproducerea în laborator a aurorei . În 1913 a absolvit universitatea cu o diplomă în algebră logică ( norvegiană: Undersøkelser innenfor logikkens algebra ).

În perioada 1915-1916 s-a pregătit la Göttingen , în 1916 s-a întors la Universitatea din Christiania, unde în 1918 a primit postul de profesor asistent de matematică. Principalele lucrări ale acelei vremuri sunt dezvoltarea teoriei modelelor , dovada în 1920 a afirmației lui Löwenheim că, dacă un set de propoziții dintr-un limbaj numărabil de ordinul întâi are un model infinit, atunci are și un model numărabil , care a devenit cunoscută sub numele de teorema Löwenheim-Skolem , într-o lucrare din 1922 a atras atenția asupra judecății contradictorii asociate cu această afirmație, numită mai târziu paradoxul lui Skolem .

În Norvegia la acea vreme, nu era necesară o diplomă pentru posturile didactice și de cercetare, așa că Skolem nu și-a susținut disertația mult timp. Abia în 1926 a primit un doctorat cu o disertație privind soluțiile întregi ale unor ecuații algebrice și inegalități ( germană:  Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen ), Axel Thue (care a murit cu 4 ani înainte de apărare - în 1922). ) a fost considerat supraveghetorul științific formal ).

Din 1930 până în 1938 a lucrat ca cercetător la nou-înființatul Institut Michelsen din Bergen , principala lucrare a acelor ani a fost o monografie despre ecuațiile diofantine . În 1938 s-a întors la Universitatea din Oslo ca profesor , unde a rămas până la pensionare, în 1957. După pensionare, a continuat să fie activ, a făcut mai multe călătorii la universitățile din SUA [6] .

A publicat în total aproximativ 200 de lucrări de matematică [7] , 48 dintre ele în ultimii zece ani de activitate la universitate (1948-1957, peste 60 de ani) [8] . Cele mai importante lucrări despre logică din 1970 au fost publicate de Universitatea din Oslo ca o carte separată [9] .

Note

  1. ↑ 1 2 3 4 5 6 Arhiva MacTutor Istoria Matematicii
  2. ↑ 1 2 Thoralf Albert Skolem // Norsk biografisk leksikon  (carte) - Kunnskapsforlaget . — ISSN 2464-1502
  3. ↑ 1 2 Albert Thoralf Skolem // Enciclopedia Brockhaus  (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  4. ↑ Genealogia matematică  (engleză) - 1997.
  5. ↑ Fenstad, 1996 , Tatăl său, Even Skolem, a predat în școala elementară, dar familia era în principal agricultori, p. 99.
  6. ↑ Fenstad, 1996 , Skolem s-a pensionat în 1957, vizitând apoi universitățile americane de mai multe ori, p. 100.
  7. ↑ Fenstad, 1996 , A rough count relevă că a scris aproape 200 de lucrări, p. 101.
  8. ↑ Fenstad, 1996 , Din 1948 până în 1957, adică de la 61 la 70 de ani, a publicat 48 de lucrări, p. 106.
  9. ↑ Thoralf Skolem, Jens Erik Fenstad. Lucrări alese în logică. - Oslo: Universitetsforlaget, 1970. - 732 p. — ISBN 9788200061274 .

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii