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, 7. listopada 2024. od 17:15h u predavaonici 201 (PMF-MO)

SAŽETAK: Kratko ćemo prikazati razne aksiomatizacije prirodnih brojeva i njihovu povijest. Zatim ćemo se osvrnuti na njihov logički status, u klasičnom logicizmu i neologicizmu. I konačno na njihov ontološki status, u logicizmu i teoriji skupova.

Foto (s nekih održanih seminara)