Osim ako je drugačije istaknuto, sastanci se održavaju ponedjeljkom od 17:15 sati u predavaonici 105, 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
Teo Šestak, Realizabilnost i sintetička izračunljivost
ponedjeljak, 2. studenoga 2026. s početkom u 17:15h, predavaonica 105 (PMF-MO)
SAŽETAK: Realizabilnost je pristup u teoriji dokaza kojim se proučavaju konstruktivni dokazi. Počinjemo od apstraktnog modela izračunavanja, parcijalne kombinatorne algebre (eng. partial combinatory algebra, PCA), čiji elementi imaju ulogu realizirati formule neke formalne teorije, a zatim ćemo konstruirati kategoriju asemblera (eng. assembly) nad parcijalnom kombinatornom algebrom (na asembler gledamo kao na par skupa i informacija o izračunljivosti). U takvom ambijentu, primjenom kategoričke logike, asembleri nam daju modele konstruktivne logike.
Na kraju ćemo pokazati na koji način takav pristup možemo primijeniti u teoriji (ili teorijama) izračunljivosti, uvodom u tzv. sintetičku izračunljivost. Cilj seminara je, kao primjer, dokazati Postov teorem bez izravnog pozivanja na Turingove strojeve, parcijalno rekurzivne funkcije ili slične modele. Umjesto toga, iskoristit ćemo činjenice o asemblerima i koristiti konstruktivnu logiku.
Link za Zoom prijenos: LINK
(Meeting ID: 992 1259 2758 Passcode: 123456)
Foto (s nekih održanih seminara)
