Cardano (ADA) creator Charles Hoskinson to change mathematics

Wed 22 Sep 2021 ▪ 22h27 ▪ 4 min de lecture - par Katie Donaldson

Charles Hoskinson, the founder of Cardano, co-founder of Ethereum (ETH), and the CEO of Input Output Global, has handed $20 million (~£14 million) to Carnegie University to get the language of math rewritten.

The crypto entrepreneur took to Twitter to announce a $20 million (~£14 million) donation to Carnegie Mellon University for establishing the Hoskinson Center for Formal Mathematics. According to Hoskinson, he was invited to the opening of the centre. The centre will advance mathematical research by improving global access to knowledge and resources for mathematics researchers, educators and learners. Their goal? You guessed it, to rewrite the language of mathematics. 

The Hoskinson Center for Formal Mathematics 

CMU President Farnam Jahanian also commented on the donation. “This generous commitment from blockchain pioneer Charles Hoskinson will allow CMU to pursue new collaborations at the intersection of mathematics, logic and computation,” he said. “By enabling a new way of doing math and creating collaborative digital libraries for mathematical tools, we can accelerate discoveries in a broad range of disciplines. This centre is a distinct expression of our strengths in collaboration and technology-driven experimentation, and I am tremendously excited by its potential.”

Carnegie Mellon University (CMU) is a private research university based in Pittsburgh, Pennsylvania. Founded in 1900, the university is a merger of the Carnegie Institute of Technology and the Mellon Institute of Industrial Research. CMU is one of the world’s top 30 universities, and one of only 25 to be admitted into the World Economic Forum’s Global University Leaders Forum after being recognised as a key player in global research.

The new centre will be led by Jeremy Avigad, professor of philosophy in CMU’s Dietrich College of Humanities & Social Sciences and professor of mathematical sciences in the Mellon College of Science. Avigad’s research areas are mathematical logic, automated reasoning and philosophy of mathematics. 

“Computational proof assistants based on formal mathematics are a transformative technology,” Avigad said. “They not only help us ensure that the mathematics we do is correct, but also provide powerful new tools for communication, collaboration, education and mathematical discovery.”

The crypto genius

Hoskinson, who seems to be attempting to disrupt one of the fundamentals of crypto — math, stays pretty busy these days because of a massive blockchain-themed summit coming this weekend.

The Cardano Summit 2021 is set to be Input Output Global’s biggest ever yet, with the promise of ‘industry-defining announcements’.

Cardano founder Charles Hoskinson has donated $20 million (~£14 million) in order to change the world of mathematics by establishing the Hoskinson Center for Formal Mathematics in Pittsburgh, Pennsylvania. 

Katie Donaldson

I went full time crypto back in June 2018, and have never looked back. I want to help persuade as many people as possible to come and build the decentralised future! Let’s go!


Les propos et opinions exprimés dans cet article n'engagent que leur auteur, et ne doivent pas être considérés comme des conseils en investissement. Effectuez vos propres recherches avant toute décision d'investissement.

Cours & Indices

BITCOIN (BTCUSD) $60,600.00 -1.71%
ETHEREUM (ETHUSD) Ξ $3,866.74 -0.06%
DEFI (DEFIPERP) $12,159.50 0.58%
MARKETS (ACWI) $103.63 0.82%
GOLD (XAUUSD) $1,767.35 -1.56%
TECH (NDX) $15,146.92 0.63%
CURRENCIES (EURUSD) $1.16 -0.01%
CURRENCIES (EURGBP) £0.842740 -0.59%
CRUDEOIL (USOIL) $82.47 1.29%
IMM. US (REIT) $2,666.33 -0.01%
Le pourcentage exprime l’évolution depuis 24h BUY CRYPTOS WITHOUT RISK

Recevez le meilleur de l’actualité Crypto dans votre boite email

Free coaching

Receive a free hour of coaching with an expert! Just fill in this form and our expert will contact you within 48 hours.