雅加达——据报道，加密货币卡达诺（ADA）的创始人查尔斯·霍斯金森已经捐赠了2000万美元（相当于2850亿卢比），旨在建立一个名为霍斯金森正式数学中心的数学研究中心。
启动硬币台，研究中心将建在迪特里希人文和社会科学学院在卡尼格梅隆大学（CMU）。根据计划，研究中心将由一位名叫杰里米·阿维加德的哲学和数学教授领导。
霍斯金森中心研究的主要重点将围绕数学定理和寻找证据、验证步骤和计算机辅助验证真相展开。因此，该大学透露，研究中心将鼓励新的数学方法，因为它有一个专门用于数学的"协作数字图书馆"的支持。
CMU还认为，这将使技术能够广泛地促进各种学科的发现，包括计算机科学、物理学、经济学以及其他学科。
与给予CMU的其他捐款相比，卡达诺创始人的贡献非常大。
霍斯金森上周四在CMU校园发表演讲时说："我认为，在很短的时间内，这个中心的产出将是非凡的。
"它开始小，但大的事情有小的开始。然后，它将扩大，包括其他布尔巴基式的时刻，我们可以涵盖整个数学教育学，并有开源教科书与这种范式，"他补充说。
难怪霍斯金森为数学科学的发展做出了重大贡献。原因是，卡达诺开发团队还经常帮助解决现实世界中出现的问题，包括非洲的互联网采购。目前，卡达诺的加密货币排名第三，仅次于比特币和以太坊。ADA 已设法超过 BNB 和 USDT 的市值。
The English, Chinese, Japanese, Arabic, and French versions are automatically generated by the AI. So there may still be inaccuracies in translating, please always see Indonesian as our main language. (system supported by DigitalSiber.id)
