Seminar za matematičku logiku i računarstvo

Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 26. listopada 2026. u 17:15 sati, u predavaonici 105, PMF-MO, Zvonimir Šikić održat će predavanje:

Cantorov teorem u analizi

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: https://zoom.us/j/99554276637?pwd=KZSWx9balbAq2CZjPKoCA5dcazIqMp.1

(Meeting ID: 995 5427 6637     Passcode: 123456)

Za dodavanje događaja u Vaš Google kalendar, kliknite na sljedeću poveznicu: KALENDAR