Чарльз Хоскинсон из Cardano жертвует 20 миллионов долларов на строительство математического центра в Университете Карнеги — Меллона

Основатель Cardano Чарльз Хоскинсон пожертвовал 20 миллионов долларов Университету Карнеги — Меллона (CMU) на создание Центра Хоскинсона по формальной математике.

Центр будет базироваться в Колледже гуманитарных и социальных наук имени Дитриха CMU. Руководить центром будет профессор философии и математических наук университета Джереми Авигад.

Основной областью исследований центра станут математические теоремы, направленные на обнаружение доказательств, проверку шагов и подтверждение правильности с помощью компьютеров.

Университет заявил в своем заявлении:заявление на прошлой неделе, что центр будет продвигать «новый способ» выполнения математики, создавая «совместные цифровые библиотеки» для математических инструментов. CMU заявил, что сделает Технологии широкодоступной и будет продвигать открытия в широком спектре дисциплин, включая информатику, физику и экономику, среди прочих.

Пожертвование Хоскинсона значительно больше по сравнению со средними пожертвованиями, которые университет обычно получает на одного студента за семь лет.Основные моменты Forbes81-е место CMU обусловлено «более низким уровнем участия выпускников», которые обычно получают около 9483 долларов США на студента.

«Я думаю, что в очень короткие сроки результаты работы этого центра будут замечательными», — сказал Хоскинсон во времяречь в CMUв четверг. «Это начнется с малого, но большие вещи начинаются с малого... позже это разрастется и охватит, может быть, еще одинв стиле Бурбакимомент, когда мы сможем охватить всю педагогику математики и иметь учебники с открытым исходным кодом, соответствующие этой парадигме».

Читать дальше: IOHK открывает исследовательскую лабораторию Cardano в Университете Вайоминга после пожертвования в размере 500 тыс. долларов