Seminar for Mathematical Logic

 

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, već 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.

---

Petak, 23.01.2026. u 14:15, Kneza Mihaila 36, sala 301f i Online
Ilijas Farah, York University, Toronto
GRUPE KOJE PREPOZNAJU KOORDINATE
Ovo predavanje je motivisano sledećim pitanjem:
Za koje klase grupa $\mathrm{𝒞}$ postoji jednostavan opis svih isomorpfizama (redukovanih) proizvoda grupa u klasi $𝒞$?
Na primer, $({\mathrm{\mathbb{Z}}}_2{)}^{\mathrm{\mathbb{N}}}$ je vektorski prostor nad poljem ${\mathrm{\mathbb{Z}}}_2$ i svaka permutacija baze definiše automorfizam. Zato ${\mathrm{\mathbb{Z}}}_2\in \mathrm{𝒞}$ implicira da izomorfizmi proizvoda grupa u $\mathrm{𝒞}$ nemaju jednostavan opis (iz jednostavnog razloga---izomorfizama ima više nego jednostavnih opisa), a situacija sa redukovanim proizvodima je naravno još komplikovanija.
Mnogo je interesantnija činjenica da neke klase grupa "prepoznaju koordinate" i da proizvodi i redukovani proizvodi grupa iz tih klasa imaju relativno jednostavan opis. Teorija "prepoznavanja koordinata" krije nekoliko iznenadjenja koja će biti prikazana u ovom predavanju. Ovo je zajednički rad sa K. Gannon i P. Touchard.
Zajednički sastanak sa Odeljenjem za matematiku.

---

Petak, 30.01.2026. u 16:15, Kneza Mihaila 36, sala 301f i Online
Kyle Gannon, BICMR Peking University
GENERIC SAMPLING AND INVARIANT MEASURES ON THE SPACE OF $k$-UNIFORM HYPERGRAPHS
We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure ${\mu }_W$ such that generic sampling with respect to ${\mu }_W$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k=2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.
This work is joint with Nathanael Ackerman, Cameron Freer, James E. Hanson, and Rehana Patel.
Zajednički sastanak sa Odeljenjem za matematiku.

---

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

---