卡尔达诺创始人查尔斯霍斯金森已向卡内基梅隆大学 (CMU) 捐赠了 2000 万美元,以建立霍斯金森形式数学中心。 该中心将设在 CMU 的迪特里希人文与社会科学学院。 该大学哲学和数学科学教授 Jeremy Avigad 将??领导该中心。 通过计算机辅助发现证明、验证步骤和证明正确性的数学定理将是该中心的主要研究领域。 该大学在上周的一份声明中表示,该中心将通过为数学工具创建“协作数字图书馆”来推动一种“新的数学方法”。 CMU 表示,它将使这项技术被广泛使用,并推动广泛学科的发现,包括计算机科学、物理学和经济学等。 与通常每个学生收到的七年中位数捐款相比,霍斯金森的捐款相当大。 福布斯强调 CMU 排名第 81 位,原因是“校友参与人数较少”,每名学生的收入通常约为 9,483 美元。 “我认为在很短的时间内,这个中心的产出将非常显着,”霍斯金森周四在 CMU 的一次演讲中说。 “它将从小事开始,但大事确实没有什么开始……以后它可能会涵盖另一个布尔巴基式的时刻,在那里我们可以涵盖整个数学教学法并拥有具有这种范式的开源教科书。” 阅读更多:IOHK 在捐赠 50 万美元后在怀俄明大学开设卡尔达诺研究实验室 —- 原文链接:https://www.coindesk.com/business/2021/09/27/cardanos-charles-hoskinson-donates-20m-to-build-math-center-at-carnegie-mellon-university/ 原文作者:Sebastian Sinclair 编译者/作者:wanbizu AI 玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。 |
卡尔达诺的查尔斯霍斯金森捐赠 2000 万美元在卡内基梅隆大学建立数学中心
2021-09-27 wanbizu AI 来源:区块链网络
LOADING...
相关阅读:
- EOS 项目跟踪:210920-2109262021-09-27
- 利用 TikTok 影响者营销加密初创公司:如何玩火取胜2021-09-27
- 卡尔达诺峰会对 ADA 价格没有影响! 这是本周除了卡尔达诺价格之外的2021-09-27
- 2021 年卡尔达诺峰会:查尔斯·霍斯金森 (Charles Hoskinson) 概述了卡尔达诺2021-09-27
- 卡尔达诺 (ADA) 与 DISH 网络合作2021-09-26