Seminar for Mathematical Logic

PROGRAM

Predavanja na Logičkom seminaru možete uživo pratiti preko linka https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a.
Ukoliko želite i da učestvujete u diskusiji, to možete preko linka https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N na kome prethodno treba napraviti nalog, t.j. popuniti registracioni formular koji se pojavi nakon klika.

PETAK, 18.11.2022. u 16:15, sala 301f, Knez Mihajlova 36
Zoran Petrić, MI SANU
O JEDNOM TRODIMENZIONALNOM JEZIKU
Opisao bih jezik koji se zapisuje u R^3 (S^3). Prikazao bih kako izgleda rezultat kompletnosti računa na tom jeziku u odnosu na 3-kobordizme (kompaktne, orijentisane 3-mnogostrukosti sa istaknutim granicama). Ovaj jezik nudi prostor za korišćenje logičkih tehnika kao što je na primer normalizacija. Posebno bih se zadržao na tome kako se kompozicija (lepljenje) kobordizama odvija u ovom trodimenzionalnom jeziku. Sve ovo je deo programa koji ide u pravcu ispitivanja vernosti trodimenzionalnih TQFT (topoloskih kvantnih teorija polja) a odvija se u saradnji sa Jovanom Nikolic i Mladenom Zekicem.

OBAVEŠTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd,
Srdacan pozdrav,

rukovodilac seminara Predrag Tanovic