Американский университет назвал математический центр имени Чарльза Хоскинсона

Чарльз Хоскинсон, генеральный Input Output Global Uput Global, и основатель Cardano, а также один из соучредителtq Ethereum, объявил о том, что пожертвовал 20 миллионов долларов на открытие Центра формальной математики Хоскинсона в Университете Карнеги-Меллона, который является частным исследовательским университетом, базирующимся в Питсбурге (Пенсильвания).

22 сентября Хоскинсон написал в Twitter, что ему предложили сделать заявление об открытии Формального центра, названного в его честь. Смысл пожертвования, по словам Хоскинсона, в том, чтобы переписать язык математики.