Si Charles Hoskinson ng Cardano ay Nag-donate ng $20M para Magtayo ng Math Center sa Carnegie Mellon University

Ang tagapagtatag ng Cardano na si Charles Hoskinson ay nag-donate ng $20 milyon sa Carnegie Mellon University (CMU) upang itatag ang Hoskinson Center for Formal Mathematics.

Ang sentro ay ibabatay sa Dietrich College of Humanities and Social Sciences ng CMU. Si Jeremy Avigad, isang propesor ng pilosopiya at agham matematika sa unibersidad, ang mamumuno sa sentro.

Ang mga teorema sa matematika na nakatuon sa pagtuklas ng mga patunay, pag-verify ng mga hakbang at pagpapatunay ng kawastuhan sa pamamagitan ng tulong ng mga computer ang magiging pangunahing bahagi ng pananaliksik ng sentro.

Sinabi ng unibersidad sa isang pahayag noong nakaraang linggo na ang center ay magtutulak ng "bagong paraan" ng paggawa ng matematika sa pamamagitan ng paglikha ng "collaborative digital library" para sa mathematical tools. Sinabi ng CMU na gagawin nitong malawak na naa-access ang Technology at isulong ang mga pagtuklas sa malawak na hanay ng mga disiplina, kabilang ang computer science, physics at economics, bukod sa iba pa.

Malaki ang donasyon ni Hoskinson kung ihahambing sa pitong taong median na donasyon na karaniwang natatanggap ng unibersidad bawat estudyante. Mga highlight ng Forbes Ang ika-81 na ranggo ng CMU bilang resulta ng "mas mababang bilang ng paglahok ng alumni," na karaniwang tumatanggap ng humigit-kumulang $9,483 bawat estudyante.

"Sa palagay ko sa napakaikling panahon, magiging kapansin-pansin ang output ng sentrong ito," sabi ni Hoskinson sa isang talumpati sa CMU noong Huwebes. “It’s going to start small, but big things do have little beginnings... later on it will grow to cover maybe another Bourbaki-style sandali kung saan maaari nating saklawin ang buong pedagogy ng matematika at magkaroon ng open-source na mga aklat-aralin na may ganitong paradigma."

Read More: Binuksan ng IOHK ang Cardano Research Lab sa University of Wyoming Kasunod ng $500K na Donasyon