Příběhy matematických důkazů aneb Anatomie jistoty

Matematický důkaz je nástroj, kterým lze potvrdit – nebo navždy vyvrátit – i ta nejodvážnější tvrzení. Společně nahlédnete do zákulisí matematické jistoty, kde prozkoumáte důkazy mnoha tvarů a příchutí: elegantně nekonstruktivní, absurdně komplikované, počítačově ověřené, monstrózně dlouhé, i svůdně nekorektní. Těšte se i na úkazy kazů důkazů.

Přednáší: RNDr. Vladimír Sedláček, Ph.D.