Četiri glavna područja matematičke logike su sljedeća: teorija modela, teorija dokaza, teorija skupova i teorija rekurzije. Što je matematička logika? Je li to primjena matematike u logici ili pak je to neki „stroži“ logički pogled na matematiku? Što je to dokaz? Zašto je uopće potrebno razmatrati dokaze kao matematičke objekte?
GOST
prof. dr. sc. Mladen Vuković (Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet)
VODITELJ
doc. dr. sc. Marko Kardum (Sveučilište u Zagrebu, Fakultet hrvatskih studija)
MJESTO I VRIJEME ODRŽAVANJA
Akademski razgovori će se voditi u utorak, 18. lipnja 2024. u dvorani 004 Matematičkog odsjeka (Bijenička cesta 30) Prirodoslovno-matematičkog fakultet Sveučilišta u Zagrebu s početkom u 17:00 h
OSTALO
U suradnji s Prirodoslovno-matematičkim fakultetom Sveučilišta u Zagrebu