Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 19. listopada 2026. u 17:15 sati, u predavaonici 105, PMF-MO,

Zvonimir Šikić održat će predavanje 

 

Cantorov teorem

 

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/92280956546?pwd=esnbbz9aP0ln8zjX4brfaXBuxaEgGU.1