Чарльз Хоскінсон з Cardano пожертвує 20 мільйонів доларів на будівництво математичного центру в Університеті Карнегі-Меллона

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

Центр буде базуватися на базі Коледжу гуманітарних та соціальних наук Дітріха КМУ. Джеремі Авігад, професор філософії та математичних наук університету, очолить центр.

Математичні теореми, зосереджені на виявленні доказів, перевірці кроків і сертифікації правильності за допомогою комп’ютерів, будуть основним напрямком досліджень центру.

Університет сказав в заява Минулого тижня Центр запровадить «новий спосіб» математики, створивши «спільні цифрові бібліотеки» для математичних інструментів. CMU заявив, що це зробить Технології широко доступною та просуне відкриття в широкому діапазоні дисциплін, включаючи інформатику, фізику та економіку, серед інших.

Пожертвування Хоскінсона є значно більшими порівняно із середніми семирічними пожертвуваннями, які університет зазвичай отримує на одного студента. Основні моменти Forbes 81-е місце в рейтингу КМУ в результаті «нижчої кількості випускників», який зазвичай отримує близько 9483 доларів США на студента.

«Я думаю, що через дуже короткий проміжок часу результат роботи цього центру буде чудовим», — сказав Хоскінсон під час виступ у КМУ у четвер. «Все починатиметься з малого, але великі речі починаються з малого... згодом це розростеться, щоб охопити, можливо, інше По-бурбакійськи момент, коли ми можемо охопити всю педагогіку математики та мати підручники з відкритим кодом із цією парадигмою».

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