Sastanci se održavaju ponedjeljkom od 17:15 sati u predavaonici 201, 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ć, Prirodni brojevi – što su i koja im je logika
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.