Seminar for
GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za decembar 2011.
Predavanja Seminara se odrzavaju u sali 301f Matematickog instituta (Knez
Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja
predavanja (tacno u pola cetiri, bez kasnjenja od cetvrt sata).
PETAK, 16.12.2011. U 15:30
Novak Novaković (Matematički institut, Beograd)
ALGEBARSKA SEMANTIKA DOKAZA U KLASIČNOJ LOGICI
Rezime. I pored nedavnih znacajnih proboja u oblasti, formulisanje
uspesne kategorijalne ili denotativne semantike za dokaze klasicne logike i
dalje predstavlja centralni otvoren problem opste teorije dokaza. Glavni deo
predavanja demonstrira vezu pojma Frobenijusovih algebri sa tim problemom.
Frobenijusove algebre su u novije vreme intenzivno izucavane zbog njihove
veze sa topoloskim kvantnim teorijama polja u matematickoj fizici. U logici,
ove algebarske strukture vode ka novom pristupu standardnim pitanjima
teorije dokaza i ka formulaciji pojma resursa za sisteme Gencenovog tipa za
klasicnu logiku.
Materijal koji ce biti prikazanan predstavlja deo doktorske disertacije
odbranjene u novembru na institutu INRIA u Nansiju u Francuskoj.
OBAVEŠTENJA:
Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje,
nego samo s vremena na vreme. Za obavestenja preko elektronske poste
obratite se na adresu: seminar_logika@mi.sanu.ac.rs.
Kosta Došen, rukovodilac Seminara