Наредни састанак Семинара биће одржан онлајн у петак, 1.априла 2022, са почетком у 12 часова.
Предавач: Сара Драгутиновић, Сент Џонс колеџ, Универзитет у Оксфорду
Наслов предавања: ТЕОРИЈА ТИПОВА
Детаљније: Током деветнаестог века математичари су се упустили у формализовање темеља математике. Russell је својим парадоксом узбуркао ову мисију. Предложена су два решења овог парадокса, ZFC аксиоме од стране Zermelo-a и Russell-ова теорија типова. Теорија типова се бави термовима, где сваки терм а има свој тип А, у запису а : А. Поједини математичари су уочили да теорије типова имају потенцијала да постану темељ математике и замене до сада прихваћене (мада повремено контроверзне) ZFC аксиоме. Поред тога, велика предност теорија типова је што су прилагођене језику рачунара, па већина програма за проверу математичких доказа има основу у теорији типова. Lean је један од њих, можда најпопуларнији и тренутно се ради на библиотеци која садржи све теореме из градива основних студија математике. Међутим, теорије типова не служе само рачунарима. На пример, хомотопијска теорија типова је област активног истраживања данас. Њена основна идеја јесте да је тип заправо простор, а термови тог типа су тачке у том простору.
Линк за приступ предавању је:
https://miteam.mi.sanu.ac.rs/asset/CihYM6Nratzix7c8G
Линк за регистрацију корисника групе Студентски семинар је:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73