Студентски семинар, 10. новембар 2023.

• 08. Новембар, 2023
• Коментари (0)

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

Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73