Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math

#101 · ✸ 24 · 💬 4 · 2 years ago · www.cmu.edu · calstad · 📷
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 Hoskinson Center will develop the technology and techniques needed to increase world-wide access to the power of formal mathematics. "Carnegie Mellon has the resources and experts to take the study of formal mathematics and disseminate it in a meaningful way," Hoskinson said. "We can bring together the best minds in mathematics, computer science and machine learning to create an infrastructure for using formal mathematics as a core educational tool. I am honored to be part of the creation of such an important center where collaboration, exploration and discovery opens the door to incentivizing and supporting mathematical activity and giving it the resources for advanced methods of automation." With extensive experience with mathematics and technology, Hoskinson sees the global potential of formal methods - including the development of a communal digital mathematical library - in making mathematics accessible to a broader community. "The Department of Philosophy is a recognized world leader in formal logic and the foundations of mathematics, and this center brings together areas of strength in mathematics, logic, computation, computer science and philosophy," said Richard Scheines, Bess Family Dean, Dietrich College of Humanities and Social Sciences. "The Mellon College of Science community, including our highly ranked Department of Mathematical Sciences, is excited to collaborate on this center as we continue to move forward the field of mathematics in a truly interdisciplinary fashion."
Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math



Send Feedback | WebAssembly Version (beta)