Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 27. siječnja 2025. u 17:15 sati, u predavaonici 201, 

PMF-MO, Zvonimir Šikić održat će predavanje 

 

Von Neumannova teorija skupova VNS

 

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 joj je ograničilo prihvaćanje njegove teorije. Mi ćemo je prikazati kao teoriju skupova.