Avigad’s research areas are mathematical logic, automated reasoning and philosophy of mathematics. 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. 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. Founded in 1900, the university is a merger of the Carnegie Institute of Technology and the Mellon Institute of Industrial Research. This centre is a distinct expression of our strengths in collaboration and technology-driven experimentation, and I am tremendously excited by its potential.”Ĭarnegie Mellon University (CMU) is a private research university based in Pittsburgh, Pennsylvania. “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 generous commitment from blockchain pioneer Charles Hoskinson will allow CMU to pursue new collaborations at the intersection of mathematics, logic and computation,” he said. d7D2JPr圓E- Charles Hoskinson SeptemThe Hoskinson Center for Formal MathematicsĬMU President Farnam Jahanian also commented on the donation.

Today I got to announce the Hoskinson Center for Formal Mathematics at I donated 20 million dollars to create a permanent center to rewrite the language of math.

Charles hoskinson