Carnegie Mellon Receives $20 Million To Establish Hoskinson Center For Formal Mathematics In Dietrich College
Carnegie Mellon Receives $20 Million To Establish Hoskinson Center For Formal Mathematics In Dietrich College
09/22/21, 2:11 PM
Location
pittsburghMoney raised
$20 million
Entrepreneur Charles C. Hoskinson has made a $20 million gift to Carnegie Mellon University to establish the Hoskinson Center for Formal Mathematics, the university announced today. The center will advance mathematical research by improving global access to knowledge and resources for mathematics researchers, educators and learners.
Company Info
Location
pittsburgh, pennsylvania, united states
Additional Info
The center will support the development of Lean's digital library, develop new tools to help convert mathematical statements from natural language to a formal language, and create educational resources to make these tools widely available. Used widely, these tools have the potential to super-charge mathematics, which in turn has the power to super-charge computer science, physics and any other discipline that uses mathematics. "Carnegie Mellon has the resources and experts to take the study of formal mathematics and disseminate it in a meaningful way," Hoskinson said.