2001年在唐纳德·A·马丁(Donald A. Martin)和罗纳德·比约恩·延森(Ronald Björn Jensen)的指导下完成的题为《Blackwell Determinacy》的博士论文,是德国数学家贝内迪克特·勒韦(Benedikt Löwe)职业生涯中的一个重要里程碑。他于1972年出生在汉堡,在多个国际机构中积累了涵盖数学基础、数理逻辑和跨学科应用的学术成果。
学术背景与早期研究
勒韦同时修读了数学和哲学。他的求学经历遍及多所机构,包括汉堡大学、图宾根大学、柏林洪堡大学以及加州大学伯克利分校。他早期的工作重点是决定性(determinacy),并最终在2001年的博士研究中达到顶峰。
机构任职与专业服务
2003年至2023年间,他在阿姆斯特丹大学逻辑、语言与计算研究所任职。自2009年起,他担任汉堡大学数理逻辑及逻辑跨学科应用教授。此外,他还是剑桥大学丘吉尔学院的特聘研究员。他的领导职务包括在2011年至2022年间担任《数理逻辑季刊》(Mathematical Logic Quarterly)的主编,以及在同一十年间担任德国数理逻辑与精确科学基础研究协会(DVMLG)主席。
组织与学术参与
勒韦在组织跨学科科学讨论方面发挥了重要作用。他发起了1999年至2013年举办的“形式科学基础”(Foundations of the Formal Sciences)系列会议,以及自2005年以来一直活跃的“欧洲可计算性”(Computability in Europe)会议。他的行政贡献还包括在2015年至2023年间担任国际科学技术史与哲学联盟下属的逻辑、方法论与科学技术哲学部门的秘书长。截至2023年,他担任国际哲学与人文科学理事会副主席。
会员资格与认可
他对该领域的贡献体现在他作为欧洲科学院(Academia Europaea)、汉堡科学院以及国际科学哲学学会的成员身份上。2023年,他被任命为国际科学理事会(International Science Council)会士。他的编辑和合作成果记录在多部合编著作中,例如2006年欧洲可计算性第二次会议的会议记录以及2008年的文集《博弈、尺度与苏斯林基数》(Games, Scales, and Suslin Cardinals)。
快速事实
- 出生:1972年,德国汉堡 - 博士论文:《Blackwell Determinacy》(2001年) - 主要领域:数理逻辑、应用数学、哲学 - 关键会议系列:欧洲可计算性(CiE) - 国际科学理事会会士:2023年 - 重要会员资格:欧洲科学院 - 学术基地:汉堡大学
读者常见问题
### 贝内迪克特·勒韦的研究重点是什么?
他的工作重点是数理逻辑、数学基础以及逻辑的跨学科应用。
### 他目前与哪些大学有联系?
他是汉堡大学的教授,并担任剑桥大学丘吉尔学院的特聘研究员。
.jpg)