托拉尔夫·斯科伦
| 托拉尔夫·斯科伦 | |
|---|---|
 | |
| 出生 | 1887年5月23日 Sandsvær, 挪威 |
| 逝世 | 1963年3月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.0 1.1 刘叶涛. 司寇仑. 中国大百科全书. 2023-02 [2023-08-06]. （原始内容存档于2023-08-06） （中文）.
- ^ 蒂莫西·高尔斯,齐民友译. 普林斯顿数学指南 第三卷. 北京: 科学出版社. 2014: 213. ISBN 978-7-03-039528-3.
- ^ J J O'Connor et E F Robertson. Thoralf Albert Skolem. MacTutor. 2005-02 [2023-08-06]. （原始内容存档于2023-10-28） （英语）.
- ^ Skolem, T. Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen）. Math. Ann. 1926, 95: 2–68.
- ^ 斯科伦, 托拉尔夫. Zur Theorie der assoziativen Zahlensysteme. Skrifter Oslo. 1927, (12): 50. JFM 54.0154.02 （German）.
- ^ 冯琦. 集合论导引 第一卷. 北京: 科学出版社. 2019: viii. ISBN 978-7-03-063621-8.
- ^ 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.
外部链接
[编辑]- 约翰·J·奥康纳; 埃德蒙·F·罗伯逊, Skolem, MacTutor数学史档案 （英语）
- 托拉尔夫·斯科伦在数学谱系计划的资料。
- Fenstad, Jens Erik, 1996, "Thoralf Albert Skolem 1887-1963: A Biographical Sketch （页面存档备份，存于互联网档案馆）," Nordic Journal of Philosophical Logic 1: 99-106.
