关于图灵度偏序的长期难题——罗杰斯同质性猜想,由理查德·阿诺德·肖尔解决。他出生于1946年,证明了特定点以上的图灵度结构不是同构的,为困扰逻辑学界数十年的问题提供了决定性的答案。
学术背景
肖尔在麻省理工学院和哈佛大学完成了正规教育。这些学习经历为他专注于递归理论的职业生涯奠定了基础,该领域研究数理逻辑中函数的计算能力和不可解问题的结构。
对逻辑学的贡献
除了在罗杰斯猜想上的工作外,肖尔还与西奥多·斯拉曼合作,证明了图灵度偏序内图灵跳跃的可定义性。他的研究经常关注这些度的结构复杂性,为相对计算能力和不可解性层次的数学理解做出了贡献。
专业任职与服务
在整个职业生涯中,肖尔在康奈尔大学保持着重要的学术地位,从1983年到2013年一直担任教员。他还通过各种编辑角色为逻辑学的发展做出了贡献,包括在1984年至1993年期间担任《符号逻辑杂志》的编辑,以及在1993年至2000年期间担任《符号逻辑公报》的编辑。
认可与奖项
肖尔因其对该领域的贡献而受到数学界的认可。他是1983年在华沙举行的国际数学家大会的特邀演讲者,发表了关于相对计算能力函数排序的演讲。2009年,他被选为哥德尔讲师,发表了题为“逆向数学:逻辑学的游乐场”的演讲。他于2012年成为美国数学学会会士。
快速事实
- 出生年份:1946年 - 国籍:美国 - 主要领域:递归理论 - 学术机构:康奈尔大学(1983-2013) - 哥德尔讲师:2009年 - 美国数学学会会士:2013年
读者常见问题
### 理查德·肖尔在哪里学习?
他在麻省理工学院和哈佛大学获得了学位。
### 理查德·肖尔的主要研究领域是什么?
他是一位逻辑学家和数学家,以在递归理论和图灵度偏序方面的工作而闻名。
