Cílem semináře je hlubší porozumění formálních mezí výpočetních systémů. Za tímto účelem je "čtena" a diskutována kniha D. Hofstadter: "Gödel, Escher, Bach: An Eternal Golden Braid". Více o semináři najdete na http://www.fi.muni.cz/usr/brim/IA073/