The center will work closely with professors, students and researchers from across the campus.
Cardano founder Charles Hoskinson donated $ 20 million to Carnegie Mellon University (CMU) to establish the Hoskinson Center for Formal Mathematics.
The center will be based at the Dietrich College of Humanities and Social Sciences at CMU. Jeremy Avigad, professor of philosophy and mathematical sciences at the university, will lead the center.
Mathematical theorems focused on finding proofs, verifying steps, and certifying correctness using computers will be the center’s main area of investigation.
The university said in a statement last week that the center would create a “new way” of doing math by creating “collaborative digital libraries” for math tools. CMU said it will make technology widely accessible and advance discoveries in a wide range of disciplines, including computer science, physics and economics.
Hoskinson’s gift is significantly large compared to the average seven-year gift he normally receives per student. Forbes highlights CMU’s 81st rank due to “lower alumni attendance,” which typically receives around $ 9,483 per student.
“I think in a very short period of time the production of this center will be remarkable,” Hoskinson said in a speech at CMU on Thursday. “It’s going to start small, but big things have a small start … later this will expand to cover maybe another Bourbaki-style moment where we can cover all of math pedagogy and have open source textbooks. with that paradigm. ” “