Osim ako je drugačije istaknuto, sastanci se održavaju ponedjeljkom od 17:15 sati u predavaonici 105, 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ć, Cantorov teorem
ponedjeljak, 19. listopada 2026. s početkom u 17:15h, predavaonica 105 (PMF-MO)
SAŽETAK: Predstavljamo različite dokaze Cantorovog teorema i njegovu povezanost s Russellovim, Quineovim, Miramanovljevim i nekim mojim paradoksima.
Odvojeno obrađujemo dokaze nesurjektivnosti F:S→P(S) i neinjektivnosti F:P(S)→S.
Nadalje, dokazujemo Cantorov teorem u duhu Zermelovog dokaza teorema o dobrom uređaju iz 1904. i u duhu Cantorovog neobjavljenog dokaza istog teorema. Razmatramo i Canorov stav da je teorem evidentan. Povezujemo prvi dokaz s Boolosovim dokazom Cantorovog teorema iz 1997.
Cantorov dokaz |R|≠|N| i Baireov dokaz njegovog teorema predstavljamo kao isti dokaz. Prikazujemo i razne poglede na Cantorov teorem u teoriji skupova, topologiji i teoriji mjere.
Na kraju se osvrćemo i na teoriju mjerila (gauges).
Link za Zoom prijenos: LINK
(Meeting ID: 922 8095 6546 Passcode: 123456)
Foto (s nekih održanih seminara)
