Charles Hoskinson, da Cardano, doa US$ 20 milhões para construir um centro de matemática na Universidade Carnegie Mellon

O fundador da Cardano, Charles Hoskinson, doou US$ 20 milhões à Universidade Carnegie Mellon (CMU) para estabelecer o Centro Hoskinson de Matemática Formal.

O centro ficará sediado no Dietrich College of Humanities and Social Sciences da CMU. Jeremy Avigad, professor de filosofia e ciências matemáticas na universidade, liderará o centro.

Teoremas matemáticos com foco na descoberta de provas, verificação de etapas e certificação de correção por meio da assistência de computadores serão a principal área de pesquisa do centro.

A universidade disse em umdeclaração semana passada que o centro conduzirá uma “nova maneira” de fazer matemática criando “bibliotecas digitais colaborativas” para ferramentas matemáticas. A CMU disse que tornará a Tecnologia amplamente acessível e avançará descobertas em uma ampla gama de disciplinas, incluindo ciência da computação, física e economia, entre outras.

A doação de Hoskinson é consideravelmente grande em comparação com as doações medianas de sete anos que a universidade geralmente recebe por aluno.Destaques da ForbesA 81ª posição da CMU é resultado de “menores números de participação de ex-alunos”, que normalmente recebe cerca de US$ 9.483 por aluno.

“Acredito que em um período muito curto de tempo o resultado deste centro será notável”, disse Hoskinson durante umadiscurso na CMUna quinta-feira. “Vai começar pequeno, mas as coisas grandes têm pequenos começos... mais tarde, crescerá para cobrir talvez outroEstilo Bourbakimomento em que podemos cobrir toda a pedagogia da matemática e ter livros didáticos de código aberto com esse paradigma.”

Leia Mais: IOHK inaugura laboratório de pesquisa Cardano na Universidade de Wyoming após doação de US$ 500 mil