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

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.

Foto (s nekih održanih seminara)