Sastanci se održavaju ponedjeljkom od 17:15 sati u predavaonici 201, PMF-MO.
Obavijest: Na zahtjev voditelja Seminara za matematičku logiku i osnove matematike i Seminara za teorijsko računarstvo, odlukom Vijeća doktorskog studija, s početkom ak. god. 2024./2025. dva navedena seminara se spajaju te se novi seminar zove Seminar za matematičku logiku i računarstvo.
Najava seminara
Zvonimir Šikić, Von Neumannova teorija skupova VNS
ponedjeljak, 27. siječnja 2025. s početkom u 17:15h u predavaonici 201 (PMF-MO)
SAŽETAK: VNS (∈,V) je stroga formulacija Cantorovih neformalnih tvrdnji koje ZFC (∈) odbacuje. Zato je VNS prikladniji da bude aksiomatizacija Cantorova raja nego ZFC. Nažalost Von Neumann je svoju teoriju formulirao kao teoriju funkcija što je ograničilo prihvaćanje njegove teorije. Mi ćemo je prikazati kao teoriju skupova.