Наредни састанак Семинара биће одржан у петак, 10. новембра 2023, у сали 301ф Математичког института САНУ са почетком у 12 часова.
Предавач: Петар Милосављевић, Математички факултет Универзитета у Београду
Наслов предавања: ТЕОРЕМА О ЕЛИМИНАЦИЈИ СЕЧЕЊА
Апстракт: Метод елиминације сечења представља један од најосновнијих алата теорије доказа. Први је Гентзен успео да избегне сечење, а касније је изузетан допринос уследио и од стране Schütte-а и Tait-а. На предавању ћемо размотрити неке од богатих последица теореме, али и са друге стране зашто је важно “сећи”. Видећемо како и сама теорема може послужити као мотивација за дефинисање много богатије теорије, која се налази на спони математичких дисциплина теорије доказа и теорије категорија.
Напомена: Предавања се могу пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj
Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73