za
Charles Hoskinson centrum matematyki

Charles Hoskinson (Cardano) zakłada Centrum Matematyki Formalnej Hoskinsona

2021-09-27
Kryptowaluty

Założyciel Cardano, Charles Hoskinson, przekazał aż 20 milionów dolarów Uniwersytetowi Carnegie Mellon (CMU). Środki te zostaną wykorzystane do utworzenia Centrum Matematyki Formalnej Hoskinsona.

Charles Hoskinson dotuje powstanie Centrum Matematyki

Centrum będzie miało swoją siedzibę w Dietrich College of Humanities and Social Sciences CMU. Pokieruje nim Jeremy Avigad, profesor filozofii i nauk matematycznych na uniwersytecie.

Głównym obszarem badań ośrodka będą twierdzenia matematyczne skupiające się na odkrywaniu dowodów, weryfikacji kroków i poświadczaniu poprawności przy pomocy komputerów.

Uniwersytet przekazał w swoim oświadczeniu z zeszłego tygodnia, że centrum będzie badać „nowy sposób” analizowania matematyki, tworząc przy tym tzw. „biblioteki cyfrowe” dla narzędzi matematycznych. CMU zapowiedziało też, że dąży do tego, by technologia stała się powszechnie dostępna, co w efekcie da znaczne postępy w kwestii kolejnych odkryć naukowych w wielu różnych dyscyplinach, w tym między innymi informatyce, fizyce i ekonomii.

Darowizna Hoskinsona jest imponująca. Zwłaszcza w porównaniu z siedmioletnią medianą darowizn, jaką zazwyczaj uniwersytet otrzymuje na ucznia. Forbes wyliczył, że w tej kategorii CMU zwykle otrzymuje około 9483 USD na jednego studenta.

Myślę, że w bardzo krótkim czasie dorobek tego centrum będzie niezwykły – powiedział Hoskinson podczas przemówienia w CMU w czwartek. – Zacznie się od małych rzeczy, ale duże rzeczy mają małe początki… – dodał.

Charles Hoskinson centrum matematyki

Majątek twórcy Cardano

Szacowany majątek Hoskinsona wynosi od 500 do 600 milionów dolarów. Jak zarobił tyle pieniędzy? Przez pewien okres pełnił rolę CEO Ethereum. Poza tym jest założycielem i CEO IOHK, które zajmuje się tworzeniem rozwiązań kryptograficznych dla firm i rządów. Jest także przede wszystkim twarzą Cardano, który to projekt prężnie się rozwija i przez wielu jest uważany za potencjalnego konkurenta dla Ethereum. Zwłaszcza po wdrożeniu technologii smart kontraktów, co miało miejsce w tym roku.

Hoskinson, aby podzielić się pozytywnymi wiadomościami dotyczącymi zmian w sieci Cardano i pogratulować całej społeczności, przeprowadził stream na żywo:

Dziś 1 ADA kosztuje 2,24 USD. To ok. 1 proc. więcej niż wczoraj i ok. 4 proc. więcej niż 7 dni temu.

Bitcoina i inne kryptowaluty kupisz w prosty i bezpieczny sposób na giełdzie zondacrypto.

Tagi
Autor

Na rynku kryptowalut od 2013 r. Współorganizowałem pierwsze w Polsce konsultacje społeczne w Sejmie dotyczące technologii blockchain, a także Polski Kongres Bitcoin, w ramach którego wystąpił Andreas Antonopoulos. Współpracowałem z posłami na Sejm RP, w celu przygotowania interpelacji na temat takich kwestii jak: kryptowaluty, CBDC czy technologia blockchain. Interesuje się historią, ekonomią, polityką i oczywiście technologią blockchain.

Newsletter Bitcoin.pl

Więcej niż bitcoin i kryptowaluty. Najważniejsze newsy i insiderskie informacje prosto na Twój email.

Dbamy o ochronę Twoich danych. Przeczytaj naszą Politykę Prywatności