Studentski seminar, 1. april 2022.

Naredni sastanak Seminara biće održan onlajn u petak, 1. aprila 2022, sa početkom u 12 časova.

Predavač: Sara Dragutinović, Sent Džons koledž, Univerzitet u Oksfordu

Naslov predavanja: TEORIJA TIPOVA

Detaljnije:
Tokom devetnaestog veka matematičari su se upustili u formalizovanje temelja matematike. Russell je svojim paradoksom uzburkao ovu misiju. Predložena su dva rešenja ovog paradoksa, ZFC aksiome od strane Zermelo-a i Russell-ova teorija tipova. Teorija tipova se bavi termovima, gde svaki term a ima svoj tip A, u zapisu a : A. Pojedini matematičari su uočili da teorije tipova imaju potencijala da postanu temelj matematike i zamene do sada prihvaćene (mada povremeno kontroverzne) ZFC aksiome. Pored toga, velika prednost teorija tipova je što su prilagođene jeziku računara, pa većina programa za proveru matematičkih dokaza ima osnovu u teoriji tipova. Lean je jedan od njih, možda najpopularniji i trenutno se radi na biblioteci koja sadrži sve teoreme iz gradiva osnovnih studija matematike. Međutim, teorije tipova ne služe samo računarima. Na primer, homotopijska teorija tipova je oblast aktivnog istraživanja danas. Njena osnovna ideja jeste da je tip zapravo prostor, a termovi tog tipa su tačke u tom prostoru.

Link za pristup predavanju je
https://miteam.mi.sanu.ac.rs/asset/CihYM6Nratzix7c8G

Link za registraciju korisnika grupe Studentski seminar je
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.