Charles Hoskinson de Cardano dona 20 millones de dólares para construir un centro de matemáticas en la Universidad Carnegie Mellon

El fundador de Cardano, Charles Hoskinson, ha donado 20 millones de dólares a la Universidad Carnegie Mellon (CMU) para establecer el Centro Hoskinson de Matemáticas Formales.

El centro tendrá su sede en la Facultad Dietrich de Humanidades y Ciencias Sociales de la CMU. Jeremy Avigad, profesor de Filosofía y Ciencias Matemáticas de la universidad, lo dirigirá.

Los teoremas matemáticos centrados en el descubrimiento de pruebas, la verificación de pasos y la certificación de la corrección con la ayuda de computadoras serán el principal área de investigación del centro.

La universidad dijo en undeclaración La semana pasada, el centro impulsará una nueva forma de hacer matemáticas mediante la creación de bibliotecas digitales colaborativas para herramientas matemáticas. La CMU afirmó que esto facilitará el acceso a la Tecnología y promoverá descubrimientos en una amplia gama de disciplinas, como la informática, la física y la economía, entre otras.

La donación de Hoskinson es considerablemente grande en comparación con las donaciones medias de siete años que la universidad generalmente recibe por estudiante.Lo más destacado de ForbesLa clasificación 81 de CMU es el resultado de “menores números de participación de ex alumnos”, que normalmente reciben alrededor de $9,483 por estudiante.

"Creo que en muy poco tiempo el rendimiento de este centro será notable", dijo Hoskinson durante unaDiscurso en la CMUel jueves. "Va a empezar pequeño, pero las cosas grandes tienen pequeños comienzos... más adelante crecerá para cubrir quizás otroEstilo Bourbakimomento en el que podamos cubrir toda la pedagogía de las matemáticas y tener libros de texto de código abierto con este paradigma”.

Sigue leyendo: IOHK abre un laboratorio de investigación de Cardano en la Universidad de Wyoming tras una donación de $500,000