Cardano’nun kurucusu Charles Hoskinson, Hoskinson Formal Matematik Merkezi’ni kurmak için Carnegie Mellon Üniversitesi’ne (CMU) 20 milyon dolar bağışladı.
Felsefe ve matematik bilimi profesörü Jeremy Avigad’ın yöneteceği Hoskinson Formal Matematik Merkezi, CMU’nun Dietrich Beşeri ve Sosyal Bilimler Fakültesinde yer alacak.
Merkezin ana araştırma alanı kanıtları keşfetmek, adımları doğrulamak ve doğruluğu onaylamaya yardımcı olabilmesi için matematiksel teoremlerin ifadesini kolaylaştırmak adına yeni teknolojiler geliştirmek olacaktır.
Carnegie Mellon Üniversitesi geçen hafta yaptığı açıklamada, matematik yapmanın yeni bir yolunu öne süreceğini bunun için dijital kütüphaneler oluşturacaklarını söyledi. Aynı zamanda teknolojiyi geniş çapta ulaşılabilir hale getireceğini de açıklamasına ekledi.
Charles Hoskinson’un üniversiteye yaptığı bağış, yedi yıllık yapılan bağış ortalaması ile karşılaştırıldığında ortalamanın oldukça üstünde kalıyor.
Hoskinson CMU’da yaptığı konuşmada, bu projenin büyük şeylerin başlangıcı olacağından, ilerleyen zamanlarda tüm matematik pedagojisini kapsayabileceğinden bahsetti.
