Zagovor magisterija: Žiga Putrle, Neprotislovnost klasične sintetične teorije izračunljivosti

Datum objave: 11. 12. 2023
Zagovor magisterija na Oddelku za matematiko
četrtek
14
december
Ura:
11.00
Lokacija:
Predavalnica 3.07, Jadranska 21, 3. nadstropje

Žiga PUTRLE (interdisciplinarni magistrski študijski program druge stopnje Računalništvo in matematika)
bo zagovarjal magistrsko delo z naslovom »Neprotislovnost klasične sintetične teorije izračunljivosti«
dne 14. 12. 2023 ob 11.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.

Komisija:
- prof. dr. Alexander Keith Simpson (predsednik)
- prof. dr. Andrej Bauer (mentor)
- prof. dr. Gašper Fijavž (član)