MISANU

PROGRAM

Predavanja možete pratiti i online putem MITEAM stranice Seminara iz matematičke logike:
https://miteam.mi.sanu.ac.rs/asset/YzAEvpbA8ZY8E34pu

Petak, 16.01.2026. u 15:00, Kneza Mihaila 36, sala 301f i Online
Zoran Petrić, Mathematical Institute SANU, Belgrade
KUDA NAS VODI OPŠTA TEORIJA DOKAZA?
Između ostalog, zadatak opšte teorije dokaza je da odgovori na pitanje kada dva formalna izvođenja reprezentuju isti dokaz - drugim rečima da odredi kriterijume jednakosti dokaza, odnosno sinonimnosti (ekvivalentnosti) formalnih izvođenja. Na prvi pogled su ovi zadaci bliži filozofiji no matematici. Na predavanju ćemo ukazati na jedan put kojim nas opšta teorija dokaza može provesti kroz matematiku. Tom stazom ćemo proći pored lambda računa, prostora petlji, raznoraznih politopa, a izvođenja će nas dovesti i do topološke kvantne teorije polja.

Petak, 16.01.2026. u 15:50, Kneza Mihaila 36, sala 301f i Online
Slobodan Vujošević, Beograd
SEĆANJE NA SAŠU KRONA
Aleksandar Kron (1937-2000) je bio logičar i profesor filozofije na Filozofskom fakultetu u Beogradu. Osnovao je prvo logičko društvo i rukovodio seminarom za algebru i logiku na Matematičkom institutu SANU, koji je okupljao istraživače sa instituta, Filozofskog i Matematičkog fakulteta.
Najvažniji događaj u njegovoj karijeri bila je poseta Univerzitetu u Pitsburgu početkom 1970-ih. Tamo je upoznao Alana Rosa Andersona i Nuela Belnapa u vreme kada je bila u pripremi njihova knjiga „Entailment: The Logic of Relevance and Neecessity" tako da je Kron bio prisutan kada je relevantna logika bila u punom razvoju. U Pitsburgu se upustio u ovu temu i ostao u njoj do kraja života. To se može videti ne samo kroz broj njegovih radova iz relevantne logike, već i kroz sve ostale radove njegovog širokog spektra interesovanja – ideja relevantnosti je inkorporirana u radovima iz kvantne logike, analize kauzalnosti i teorije odlučivanja.

Petak, 16.01.2026. u 16:20, Kneza Mihaila 36, sala 301f i Online
Miloš Adžić, Filozofski fakultet, Beograd
FILOZOFIJA, LOGIKA I MATEMATIKA - ARHITEKTONIKA POJMOVA
Predstavljenje posebnog broja časopisa Theoria
Ove se godine navršava pola veka od izlaska prvog broja časopisa Theoria. Tim povodom, prva u nizu jubilarnih svezaka posvećena je preplitanju filozofije, logike i matematike. Izlaganje će pružiti kratak pregled saradnje koju decenijama neguju Matematički institut SANU, Matematički i Filozofski fakultet. Biće reči o strogim temeljima koje su u ovoj oblasti postavile generacije naših nastavnika, kao i o ostalim tematskim brojevima koji će tokom godine biti posvećeni etici, estetici i drugim filozofskim disciplinama. Ovaj temat stoji kao svedočanstvo o neraskidivoj vezi disciplina koje, svaka svojim putem, teže istom cilju — rasvetljavanju naših pojmova.

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,
Predrag Tanovic
rukovodilac seminara