CEO of Input Output Global, founder of Cardano, who also co-founded Ethereum, Charles Hoskinson, has announced that he had made a $20 million donation to launch the Hoskinson Center for Formal Mathematics at Carnegie Mellon University – a private research university located in based in Pittsburgh, Pennsylvania.
On September 22, Hoskonsin tweeted that he was invited to make an announcement of opening the Center for Formal Mathematics name after him. The goal of donating the $20 million and launching the new research center is to get the language of math rewritten.
The cats out of the bag. Today I got to announce the Hoskinson Center for Formal Mathematics at @CarnegieMellon I donated 20 million dollars to create a permanent center to rewrite the language of math. pic.twitter.com/d7D2JPry3E— Charles Hoskinson (@IOHK_Charles) September 21, 2021
Hoskinson is a tech entrepreneur and a mathematician. In his present projects, Hoskinson aims at educating people about the crypto industry, cryptography and decentralization and how these may change the world in the future.
Now, it seems he is attempting to disrupt one of the fundamentals of crypto – math, hoping to disrupt the crypto sphere from this angle too.