Sandro Lovnički: Kako smo se našli ovdje? Od paradoksa do strojeva.
Sažetak: Rano 20. stoljeće je razdoblje potrage za konzistentnim temeljima matematike. Istražit ćemo glavne aktere i događaje koji su nas od jednostavnih pitanja odluke doveli do presudnih teorema nepotpunosti i formalizacije pojma izračunljivosti.