托拉尔夫·斯科伦

托拉尔夫·斯科伦
出生(1887-05-23)1887年5月23日
Sandsvær, 挪威
逝世1963年3月23日(1963歲—03—23)(75歲)
奥斯陆, 挪威
国籍挪威
母校奥斯陆大学
知名于
科学生涯
研究领域数学家
机构奥斯陆大学
Chr. Michelsen 研究所
博士導師阿克塞尔·图厄
博士生奥斯丁·欧尔

托拉尔夫·阿尔伯特·斯科伦挪威語Thoralf Albert Skolem,1887年5月23日—1963年3月23日),又译司寇仑[1]是一位挪威数学家。主要研究领域为集合论数理逻辑,在丟番圖方程和群论方面也有贡献。[2]

生平

斯科伦父亲是小学教师,但家中大部分人务农为生。[3]斯科伦在克里斯蒂安尼亞(今奥斯陆)上中学,1905年参加大学入学考试,进入奥斯陆大学学习数学。 1909年斯科伦成为物理学家克里斯蒂安·伯克兰的助手。1913年,斯科伦通过国家考试及题为《逻辑代数探索》的答辩。1915年冬季学期前往当时的数学中心哥廷根大学。1918年被聘为奥斯陆大学数学系讲师。1926年他提交了题为《 关于某些代数方程和不等式的积分解的一些定理》的博士论文[4],导师为阿克塞尔·图厄。1927年同 Edith Wilhelmine Hasvold成婚。1930年到卑尔根Chr. Michelsen 研究所任研究助理,1938年回到奥斯陆大学任教授,讲授研究生的数论和代数课程。斯科伦指导的研究生有奥斯丁·欧尔

数学成就

斯科伦共发表过180多篇论文[1] ,涉及丢番图方程群论集合论数理逻辑等领域。因为论文多数在挪威期刊上发表,国际影响有限,有时有成果几年后被其他学者再次发现的情况,一个例子是斯科伦-诺特定理,诺特在斯科伦于1927年发表后几年独立的再次发现。[5]

斯科伦是模型论的先驱,1920年他简化了勒文海姆1915年的证明:如果一阶可数理论有一个无穷模型,则它必有一可数模型,这个命题后被称为勒文海姆–斯科伦定理[6]。当时他使用了选择公理,但1922和1928年他用柯尼格引理代替了选择公理。值得注意的是他和勒文海姆在这些证明中都用的是皮尔斯施罗德的符号,而不是皮亚诺数学原理中用的后来更为通用的记号。[7]

参见

參考資料

  1. ^ 1.0 1.1 刘叶涛. 司寇仑. 中国大百科全书. 2023-02 [2023-08-06]. (原始内容存档于2023-08-06) (中文). 
  2. ^ 蒂莫西·高尔斯,齐民友译. 普林斯顿数学指南 第三卷. 北京: 科学出版社. 2014: 213. ISBN 978-7-03-039528-3. 
  3. ^ J J O'Connor et E F Robertson. Thoralf Albert Skolem. MacTutor. 2005-02 [2023-08-06]. (原始内容存档于2023-10-28) (英语). 
  4. ^ Skolem, T. Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen). Math. Ann. 1926, 95: 2–68. 
  5. ^ 斯科伦, 托拉尔夫. Zur Theorie der assoziativen Zahlensysteme. Skrifter Oslo. 1927, (12): 50. JFM 54.0154.02 (German). 
  6. ^ 冯琦. 集合论导引 第一卷. 北京: 科学出版社. 2019: viii. ISBN 978-7-03-063621-8. 
  7. ^ Von Plato, Jan. In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.. Bulletin of Symbolic Logic. 2007, 13 (2): 189–225. doi:10.2178/bsl/1185803805. 

外部連結

Read other articles:

French novelist (born c. 1948) This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (March 2019) Cookie Allez (born c. 1948) is a French novelist. Early life Cookie Allez was born circa 1948.[1] Career She has written seven novels.[1] Her second novel, La Soupière, talked about a mother and her son, who works as a clinical assistant.[2] In her seventh novel, Domin...

 

2005 video by Kaiser ChiefsEnjoymentVideo by Kaiser ChiefsReleasedNovember 28, 2005RecordedVarious film setsGenreIndie rock[1]Length206:00 (approx.)LabelB-UniqueDirectorDick Carruthers Enjoyment is the follow-up DVD release to indie band Kaiser Chiefs' highly successful debut album Employment, released on November 28, 2005. The main focus of the DVD is an approximately 90 minute documentary directed by Walpole-based artist Cally Callomon (who is responsible for much of the ban...

 

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada.Este aviso fue puesto el 4 de septiembre de 2020. Maverick Serie de televisión Enlaces externos Ver todos los créditos (IMDb) Ficha en IMDb[editar datos en Wikidata] Maverick es una serie de televisión estadounidense del género western producida de 1957 a 1962 por Warner Brothers. Personajes La serie trataba de una familia de tahúres, tres hermanos, Brett, Bart y Brent Maverick interpret...

Penarikan mundur pasukan Romawi dari Afrika, 255 SMBagian dari Perang Punik ITanggal255 SMLokasiSemenanjung Cape Bon, lepas pantai di wilayah Tenggara Sisilia37°N 11°E / 37°N 11°E / 37; 11Hasil Tidak pastiPihak terlibat Kartago RomaTokoh dan pemimpin Tidak diketahui Fulvius Paetinus NobiliorAemilius PaullusKekuatan 200 kapal perangJumlah prajurit tidak diketahui 390 kapal perangJumlah prajurit tidak diketahuiKorban 16 kapal tenggelam114 kapal direbutJumla...

 

Academic journalCivil War HistoryDisciplineHistoryLanguageEnglishEdited byBrian Craig MillerPublication detailsHistoryEstablished 1955; transferred to Kent State Univ Press in 1968PublisherKent State University Press (United States)FrequencyquarterlyOpen accessNoStandard abbreviationsISO 4 (alt) · Bluebook (alt1 · alt2)NLM (alt) · MathSciNet (alt )ISO 4Civ. War Hist.IndexingCODEN (alt · alt2) · JSTOR (alt) &#...

 

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) هارولد دبليو. دودز   معلومات شخصية الميلاد 28 يونيو 1889  الوفاة 25 أكتوبر 1980 (91 سنة)   هايتستاون (نيوجيرسي)  مواطنة الولايات المتحدة  الحياة العملية ا...

Coordenadas: 46° 41' N 21° 49' E Batăr    Comuna   Localização Coordenadas 46° 41' N 21° 49' E País Romênia Região histórica Crișana • Transilvânia Distrito Bihor Características geográficas Área total 126,94 km² População total (2007) 5 173 hab. Densidade 40,8 hab./km² Batăr é uma comuna romena localizada no distrito de Bihor, na região histórica da Crișana (parte da Transilvânia). A comuna possui uma área d...

 

Hubungan Tiongkok-Kamboja Kamboja Tiongkok Hubungan bilateral antara Kerajaan Kamboja dan Republik Rakyat Tiongkok menguat setelah akhir Perang Kamboja-Vietnam, dimana Tiongkok mendukung Khmer Merah melawan Vietnam.[1][2] Sejarah Prince Norodom Sihanouk dengan Mao Zedong di Beijing pada 1956. Meskipun mereka tak berbagi perbatasan, Tiongkok memiliki hubungan kebudayaan dan komersial dalam sejarahnya dengan Kamboja. Etnis Tionghoa meliputi sekitar 3-5% dari populasi Kamboja ata...

 

Pendapatan rumah tangga rata-rata 2007 (PPP, US$) Pendapatan rumah tangga rata-rata secara umum digunakan untuk mengukur kemakmuran penduduk di berbagai tempat geografis. Membagi rumah tangga menjadi dua bagian sama dengan setengah pertama rumah tangga memperoleh kurang dari pendapatan rumah tangga rata-rata dan setengah lainnya memperoleh lebih. Sejak 2000, pendapatan rumah tangga di Australia dan Selandia Baru telah tumbuh cepat dan pada 2007 pendapatan bisa disamakan dengan Amerika Serikat...

Peta infrastruktur dan tata guna lahan di Komune Les Ableuvenettes.  = Kawasan perkotaan  = Lahan subur  = Padang rumput  = Lahan pertanaman campuran  = Hutan  = Vegetasi perdu  = Lahan basah  = Anak sungaiLes Ableuvenettes merupakan sebuah komune di departemen Vosges yang terletak pada sebelah timur laut Prancis. Lihat pula Komune di departemen Vosges Referensi INSEE lbsKomune di departemen Vosges Les Ableuvenettes Ahéville Aingeville Ainvelle Allarmo...

 

 TV series or program Open HeartGenre Drama Mystery Created byLinda SchuylerDeveloped by Ramona Barckert Brendan Gall Miklos Perlus Chris Pozzebon Written by Chris Pozzebon Ramona Barckert Brendan Gall Scott Oleszkowicz Starring Karis Cameron Justin Kelly Cristine Prosperi Tori Anderson Jenny Cooper Jeffrey Douglas Sasha Clements Nahanni Johnstone Kevin McGarry Dylan Everett Mena Massoud Patrick Kwok-Choon Jacob Neayem Darrell Dennis Donovan Brown Sam Efford Country of originCanada[1...

 

Barrera de hielo Wilkins Wilkins Ice Shelf Colapso parcial de la barrera de hielo en 2008Ubicación geográficaContinente AntártidaRegión Tierra de Palmer, en la península AntárticaOcéano (o mar) Mar de Bellingshausen (Antártico)Golfo Estrecho WilkinsOtros límites Islas Rothschild, Charcot, Latady y Alejandro ICoordenadas 70°15′S 73°00′O / -70.25, -73Ubicación administrativaPaís Antártida AntártidaDivisión Antártida OrientalCaracterísticasTipo Barrera ...

For the constituency established in 1929, see Antrim Borough (Northern Ireland Parliament constituency). 54°57′04″N 6°12′29″W / 54.951°N 6.208°W / 54.951; -6.208 AntrimFormer County constituencyfor the Parliament of Northern IrelandAntrim shown within Northern IrelandFormer constituencyCreated1921Abolished1929Election methodSingle transferable vote Antrim was a county constituency of the Parliament of Northern Ireland from 1921 to 1929. It returned seven MP...

 

Distribution of Tamil speakers in the Indian subcontinent.Historical map of the Chola Empire, where Tamil was the language of administration. The following is a list of sovereign states and territories where Tamil is an official language or language of government. Tamil is the 17th most spoken language in the world. Tamil language speakers make up approximately 1.06% of the world population. The Tamil language is native to Tamil Nadu (India), Puducherry (India) and Sri Lanka, where most of th...

 

Motor vehicle Chevrolet SparkOverviewManufacturerDaewoo Motors (1998–2002)GM Daewoo (2002–2011)GM Korea (2011–2022)Production1998–2022Body and chassisClassCity car (A)Body style5-door hatchbackLayoutFront-engine, front-wheel-driveChronologyPredecessorDaewoo Tico The Chevrolet Spark (Korean: 쉐보레 스파크) is a city car manufactured by General Motors's subsidiary GM Korea from 1998 to 2022. The vehicle was initially developed by Daewoo and was introduced in 1998 as the Daewo...

Ken ScottKen Scott in Bewitched, 1965BornKenneth E. Schibath(1928-10-13)October 13, 1928DiedDecember 2, 1986(1986-12-02) (aged 58)OccupationactorYears active1956–1984 Ken Scott (born Kenneth E. Schibath; October 13, 1928 – December 2, 1986) was an American actor best known for his work in films in the 1950s and on television after that.[1] Biography Born in Brooklyn, New York, Scott was the son of interior decorator Ernst Schibath and attended school at Erasmus Hall ...

 

This article's factual accuracy may be compromised due to out-of-date information. Please help update this article to reflect recent events or newly available information. (August 2009) California Correctional Center (CCC) Aerial ViewLocationSusanville, CaliforniaCoordinates40°24′18″N 120°30′43″W / 40.405°N 120.512°W / 40.405; -120.512StatusOperationalSecurity classMinimum-mediumCapacity3,883Population2,308 (59.4%) (as of July 31, 2022[1])Opened...

 

American reality competition series House of VillainsPromotional posterGenreReality competitionPresented byJoel McHaleCountry of originUnited StatesOriginal languageEnglishNo. of seasons1No. of episodes8ProductionExecutive producers John Irwin Dave Kuba Eli Frankel Matt Odgers Joel McHale Producers Pat Metcalfe Jeff Sims John JP Paul Camera setupMultipleRunning time43–54 minutesProduction companyIrwin EntertainmentOriginal releaseNetworkE!ReleaseOctober 12, 2023 (2023-10-12) –pr...

КлозапинClozapinum Химическое соединение ИЮПАК 8-Хлор-11-(4-метил-1-пиперазинил)- 5Н-дибензо-[b, е] [1,4]-диазепин Брутто-формула C18H19ClN4 Молярная масса 326,823 г/моль CAS 5786-21-0 PubChem 2818 DrugBank APRD00470 Состав Классификация Фармакол. группа нейролептики АТХ N05AH02 Фармакокинетика Биодоступн. 60—70 % ...

 

1985 greatest hits album by Yōko OginomeYōko Oginome: The BestGreatest hits album by Yōko OginomeReleasedDecember 25, 1985 (1985-12-25)Recorded1984–1985GenreJ-popkayōkyokuteen popdance-popLength60:29 (CD)LanguageJapaneseLabelVictorYōko Oginome chronology Kaigara Terrace(1985) Yōko Oginome: The Best(1985) Raspberry Wind(1986) Singles from Yōko Oginome: The Best December MemoryReleased: November 5, 1984 (1984-11-05) Dancing Hero (Eat You Up)Release...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!