MISANU

PROGRAM

ODELJENJE ZA MATEMATIKU
MATEMATIČKOG INSTITUTA SANU

Registracija za učešće na seminaru je dostupna na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N.
Ukoliko ste vec registrovani predavanje možete pratiti na sledećem linku (nakon sto se ulogujete):
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r.
Neulogovani korisnici mogu pratiti prenos predavanja na ovom linku (ali ne mogu postavljati pitanja osim putem chata i ne ulaze u evidenciju prisustva):
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV.

PROGRAM ZA OKTOBAR 2024.

Petak, 04.10.2024. u 14:15, Kneza Mihaila 36, sala 301f i Online
Pavle Blagojević, Matematički institut SANU
MAKFERSONOVA HIPOTEZA O KOMBINATORNIM GRASMANIJANIMA, NOVI POČETAK
Robert Makferson je 1991 godine, oslanjajući se na zajednički rad sa Gelfandom, uveo kombinatorne analoge realnih vektorskih raslojenja i identifikovao asocirane klasifikacione prostore - takozvane Makfersonijane. Takođe on je postavio hipotezu da je uređajni kompleks parcijalno uređenog skupa svih orjentisanih matroida fiksnog ranga jednak realnom Grasmanijanu, barem do na homotopsku ekvivalenciju -takozvana Makfersonovan hipoteza.
Istorija rešavanja Makfersonove hipoteze je kotraverzna. Danijel Bis je 2003, u svojoj publikaciji u "Annals of Mathematics", ustvrdio da je hipotezu rešito u potpunosti. Par godina kasnije Nikolaj Mnjev je, u beleški na platformi arXiv, ukazao na elementarnu ali fatalnu grešku u Bisovom dokazu.
U ovom predavanju ćemo pokazati kao se Makfersonovo preslikavanje može upotrebiti za definisanje dijagrama prostora čiji je kolimit odgovarajući realni Grasmanijan. Koristeći novu konstrukciju dobijamo spektralni niz koji konvergira relanom Grasmanijanu čiji drugi član se iskazuje upotrebom Makfersonijana. Na taj način dobijamo trvđenje da, ako bi idukovani dijagram imao kotraktibilne vrednosti Makfersonova hipoteza bi odmah bila razrešena. Specijalno, mi dobijamo sve poznate rezultate na uniforman način.
Predavanje se zasniva na zajedničkom radu sa Balintom Žigijem

Petak, 18.10.2024. u 14:15, Kneza Mihaila 36, sala 301f i Online
Stanislav Speranski, Steklov Mathematical Institute of RAS
CONCERNING DOŠEN'S LOGIC N AND SOME OF ITS EXTENSIONS
The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen's propositional logic N, whose negation is weaker than that of Johansson's minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed by Cabalar, Odintsov and Pearce as a framework for studying foundations of well-founded semantics for logic programs with negation, while the latter has recently been advocated by Leitgeb as a basic system for dealing with hyperintensional contexts, but was first described by Moisil in 1942. We shall look at predicate versions of N and N*, and talk about a simple Routley-style semantics for Leitgeb's predicate version of Hype. The corresponding strong completeness results will be presented. Also, the disjunction property and the existential property will be discussed. In addition, we shall see what happens when we add the contraposition axiom to several important extensions of N.
Zajednički sastanak sa Logičkim seminarom.

Odeljenje za matematiku je opsti matematicki seminar namenjen sirokoj publici. Predavanja su prilagodjena matematicarima i onima koji zele da to postanu.

Zoran Petrić, Odeljenje za matematiku Matematickog instituta SANU