Dovolujeme si vás pozvat na třetí interdisciplinární workshop, který pořádá Katedra filozofie a Katedra matematiky s cílem rozvinout spolupráci mezi oběma pracovišti v oblasti vzdělávání, výzkumu a projektové činnosti.
Pořadatelé: Katedra filozofie FF ZČU, Katedra matematiky FAV ZČU
Kdy: pátek 31. října, 10:30-13:00
Kde: SP319, FF, Sedláčkova 15
Jaké jsou základy našeho poznání a jak je lze formalizovat? Může být taková formalizace úplná? Workshop propojuje filozofickou reflexi historických proměn pojetí axiomů s přístupným výkladem Gödelových vět o neúplnosti formálních systémů. Diskuze bude směrována i k aktuální otázce formálních základů umělé inteligence, od níž mnozí očekávají, že bude obecná.
