Charles Hoskinson di Cardano dona 20 milioni di dollari per costruire un centro di matematica alla Carnegie Mellon University

Il fondatore di Cardano , Charles Hoskinson, ha donato 20 milioni di dollari alla Carnegie Mellon University (CMU) per fondare l'Hoskinson Center for Formal Mathematics.

Il centro avrà sede nel Dietrich College of Humanities and Social Sciences della CMU. Jeremy Avigad, professore di filosofia e scienze matematiche presso l'università, guiderà il centro.

I teoremi matematici incentrati sulla scoperta di dimostrazioni, sulla verifica dei passaggi e sulla certificazione della correttezza tramite l'assistenza dei computer saranno il principale ambito di ricerca del centro.

L'università ha affermato in undichiarazione la scorsa settimana che il centro guiderà un "nuovo modo" di fare matematica creando "biblioteche digitali collaborative" per strumenti matematici. La CMU ha affermato che renderà la Tecnologie ampiamente accessibile e promuoverà le scoperte in un'ampia gamma di discipline, tra cui informatica, fisica ed economia, tra le altre.

La donazione di Hoskinson è considerevolmente grande se confrontata con la media delle donazioni che l’università riceve generalmente per studente in sette anni.Punti salienti di ForbesL'81° posto della CMU è dovuto al "minore numero di partecipanti degli ex studenti", che in genere riceve circa $ 9.483 per studente.

"Penso che in un lasso di tempo molto breve la produzione di questo centro sarà notevole", ha detto Hoskinson durante undiscorso alla CMUgiovedì. "Inizierà in piccolo, ma le grandi cose hanno anche piccoli inizi... più avanti crescerà fino a coprire forse un altroStile Bourbakimomento in cui potremo coprire l'intera pedagogia della matematica e avere libri di testo open source con questo paradigma".

Continua a leggere: IOHK apre il laboratorio di ricerca Cardano presso l'Università del Wyoming dopo una donazione di 500.000 dollari