Skolem, Turalf

Turalf Albert Skolem
Thoralf Albert Skolem
Namn vid födseln Bokmål Thoralf Albert Skolem
Födelsedatum 23 maj 1887( 23-05-1887 ) [1] [2] [3] […]
Födelseort Sunsver , Buskerud
Dödsdatum 23 mars 1963( 1963-03-23 ​​) [1] [2] [3] […] (75 år)
En plats för döden
Land
Vetenskaplig sfär matematisk logik
Arbetsplats
Alma mater
vetenskaplig rådgivare Axel Thue [4]
Studenter Oistin malm
Känd som Bevisade Löwenheim-Skolems sats
Utmärkelser och priser Fridtjof Nansen-priset för betydande forskning inom matematik och naturvetenskap [d] ( 1938 ) Gunnerus-medalj [d] ( 1962 )
 Mediafiler på Wikimedia Commons

Turalf Albert Skolem ( norska Thoralf Albert Skolem , i tidiga översättningar translittererad som Thoralf Skolem ; 23 maj 1887 , Sansver - 23 mars 1963 , Oslo ) - norsk matematiker , huvudarbete - inom området för matematikens och matematisk logiks grunder, även gjort ett betydande bidrag till allmän algebra (teorier om gitter och ringar ), talteorin ( teorin om diofantiska ekvationer ) och matematikens filosofi .

Ett av nyckelpåståendena inom modellteorin är förknippat med hans namn  - Löwenheim-Skolem-satsen , den filosofiska och matematiska Skolem-paradoxen , såväl som Skolem-normalformen i första ordningens logik , Skolem -satsen i kombinatorik , Skolem-Noether-satsen  - grundläggande resultat i teorin om centrala enkla algebror . Professor vid Universitetet i Oslo (1938-1957), ordförande för Norska Matematisk Selskap på 1950-talet.

Biografi

Han föddes den 23 maj 1887 i den lilla staden Sansvær ( norska : Sandsvær ) i länet Buskerud (nu en del av Kongsberg ). Fadern - Even Skolem - var en folkskollärare, men familjen ägnade sig huvudsakligen åt jordbruk [5] . 1905 tog han gymnasieexamen i Christiania , efter avslutad skolgång kom han genast in på universitetet . Medan han studerade vid universitetet arbetade han sedan 1909 som assistent åt fysikern Christian Birkeland , de första vetenskapliga publikationerna tillhör samma period - gemensamma artiklar med Birkeland om laboratoriereproduktion av norrsken . 1913 tog han examen från universitetet med ett diplom i logisk algebra ( norska: Undersøkelser innenfor logikkens algebra ).

Under perioden 1915-1916 utbildade han sig i Göttingen , 1916 återvände han till universitetet i Christiania, där han 1918 fick tjänsten som biträdande professor i matematik. Den tidens huvudverk är utvecklingen av modellteorin , beviset 1920 på Löwenheims påstående att om en uppsättning meningar i ett räknebart första ordningens språk har en oändlig modell, så har den också en räknebar modell, vilket blev känd som Löwenheim-Skolem-satsen , uppmärksammade i ett papper från 1922 den motsägelsefulla bedömningen i samband med detta uttalande, senare kallat Skolems paradox .

I Norge på den tiden krävdes ingen examen för lärar- och forskartjänster, varför Skolem inte disputerade på länge. Först 1926 fick han en doktorsexamen med en avhandling om heltalslösningar av några algebraiska ekvationer och ojämlikheter ( tyska:  Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen ), Axel Thue (som dog 4 år före försvaret - 1922 ) ansågs vara den formella vetenskapliga handledaren ).

Från 1930 till 1938 arbetade han som forskare vid det nyinrättade Michelsen-institutet i Bergen , det huvudsakliga arbetet under dessa år var en monografi om diofantiska ekvationer . 1938 återvände han till universitetet i Oslo som professor , där han stannade tills han gick i pension 1957. Efter sin pensionering fortsatte han att vara aktiv, gjorde flera resor till amerikanska universitet [6] .

Han publicerade totalt cirka 200 artiklar i matematik [7] , 48 av dem under de sista tio åren av hans arbete vid universitetet (1948 till 1957, över 60 år) [8] . De viktigaste verken om logik 1970 publicerades av Universitetet i Oslo som en separat bok [9] .

Anteckningar

  1. ↑ 1 2 3 4 5 6 MacTutor History of Mathematics Archive
  2. ↑ 1 2 Thoralf Albert Skolem // Norsk biografisk leksikon  (bok) - Kunnskapsforlaget . — ISSN 2464-1502
  3. ↑ 1 2 Albert Thoralf Skolem // Brockhaus Encyclopedia  (tyskt) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  4. ↑ Mathematical Genealogy  (engelska) - 1997.
  5. ↑ Fenstad, 1996 , Hans far, Even Skolem, undervisade i grundskolan, men familjen var huvudsakligen jordbrukare, sid. 99.
  6. ↑ Fenstad, 1996 , Skolem gick i pension 1957, och besökte därefter amerikanska universitet vid flera tillfällen, sid. 100.
  7. ↑ Fenstad, 1996 , En grov räkning visar att han skrev nära 200 artiklar, sid. 101.
  8. ↑ Fenstad, 1996 , Från 1948 till 1957, dvs från sitt 61:a till sitt 70:e år, publicerade han 48 artiklar, sid. 106.
  9. ↑ Thoralf Skolem, Jens Erik Fenstad. Utvalda fungerar i logik. - Oslo: Universitetsforlaget, 1970. - 732 sid. — ISBN 9788200061274 .

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk