安德烈亚斯·布拉斯

作为1965年的普特南学者(Putnam Fellow),安德烈亚斯·拉斐尔·布拉斯(Andreas Raphael Blass)建立了一项以数理逻辑和理论计算机科学为核心的职业生涯。他于1947年出生在纽伦堡,拥有美国公民身份,并花费了五十多年时间致力于集合论的严谨研究,确立了自己在现代数学框架发展中的重要地位。

学术基础

布拉斯在底特律大学开始了正式教育,并于1966年获得了物理学理学学士学位。在此期间,他于1965年被评为普特南学者。随后,他在哈佛大学继续研究生学业,并于1970年获得博士学位。他的博士研究在弗兰克·瓦滕伯格(Frank Wattenberg)的指导下,专注于超滤子的排序。

职业生涯

自1970年以来,布拉斯一直与密歇根大学保持着密切的学术联系。他的职业道路始于为期两年的T.H.希尔德布兰特(T.H. Hildebrandt)研究讲师职位。随后,他在教职序列中不断晋升,从1972年至1976年担任助理教授,从1976年至1984年担任副教授。自1984年起,他一直担任正教授职位。

研究贡献

他的研究成果包括200多篇文章。1984年,他证明了每个向量空间存在基与选择公理在逻辑上是等价的。他的工作还探讨了实数的集合论和力迫法(forcing)。此外,他开创了博弈语义学与线性逻辑之间的联系,这在他1992年发表于《纯粹与应用逻辑年鉴》(Annals of Pure and Applied Logic)的出版物中得到了详细阐述。他的合作成果包括与萨哈隆·谢拉赫(Saharon Shelah)和尤里·古列维奇(Yuri Gurevich)等研究人员的重要著作。

免费测试
你的是多少?

二十道题、八分钟计时,以及与所有参与者对比得出的百分位。无需注册。

开始智商测试 →

专业认可

在他的整个职业生涯中,布拉斯一直是数学界活跃的参与者。他是美国数学学会的成员,该组织于2014年将其评为会士(Fellow),以表彰其专业地位。他的工作继续影响着当代逻辑学和计算机科学理论。

快速事实

- 出生:1947年,纽伦堡 - 国籍:美国 - 教育:底特律慈悲大学,哈佛大学 - 主要职业:数学家 - 学术归属:密歇根大学 - 领域:集合论,数理逻辑,理论计算机科学 - 认可:普特南学者(1965年) - 会员资格:美国数学学会会士(2014年)

读者提问

### 安德烈亚斯·布拉斯的研究重点是什么?

他专攻数理逻辑,重点研究集合论、实数集合论、力迫法以及博弈语义学在线性逻辑中的应用。

### 安德烈亚斯·布拉斯在哪里度过了他大部分的学术生涯?

自1970年以来,他一直受雇于密歇根大学,从研究讲师晋升为正教授。

与伟人比较

Alan Turing vs Fyodor DostoevskyAugustine Of Hippo vs Louis PasteurSocrates vs VoltaireAristotle vs Linus Pauling
查看排行 →所有对比 →

神童

Michael KearneyMichael KearneyBachelor's at 10 Years, 4 Months — Youngest U.S. College…Edmund Thomas ClintEdmund Thomas ClintProduced roughly 25,000 artworks before dying at the age of sixStephen WiltshireStephen WiltshireAutistic Savant Drawing Entire Cities from Memory — MBE from…Kokona HirakiYoungest Olympic medalist in 85 years, winning park silver at…
神童 →

玩一玩,明天再来

每日天才挑战 · Genius trivia
Who is widely considered the first computer programmer?
点选你的答案 ↓
你是哪位天才? 免费智商测试